the source is not an assembly but a footstep.
sent1: the snowboard is not Solomonic. sent2: if something that is a kind of an assembly is not a Kahn it is radical. sent3: if something is a kind of a phototherapy but it is not a Albatrellus then it is radical. sent4: something that subluxates and does not guggle DSL is false. sent5: that the source is an assembly and is a footstep is not right. sent6: the snowboard is a kind of an assembly. sent7: if the porkpie is not a kind of a Kahn the fact that the snowboard is not a radical but it leaps Chinese is not true. sent8: if something is a radical it is Solomonic. sent9: the porkpie is a phototherapy and not a Albatrellus if the snowboard is non-Solomonic. sent10: something is a Kahn if it does leap Chinese. sent11: if the porkpie is a radical the source does leap Chinese. sent12: the fact that something does not leap Chinese but it is a Albuquerque is not true if it is not non-Solomonic. sent13: if something is a Kahn that the fact that it is not a kind of an assembly and it is a kind of a footstep is not false is not right.
sent9 & sent1 -> int1: the porkpie is a kind of a phototherapy that is not a Albatrellus.; sent3 -> int2: the porkpie is not non-radical if it is a phototherapy and it is not a kind of a Albatrellus.; int1 & int2 -> int3: the porkpie is a radical.; int3 & sent11 -> int4: the source does leap Chinese.; sent10 -> int5: the source is a Kahn if it leaps Chinese.; int4 & int5 -> int6: the fact that the source is a kind of a Kahn hold.; sent13 -> int7: if the source is a Kahn that it is not an assembly and it is a footstep does not hold.; int6 & int7 -> hypothesis;
the fact that the projector does not leap Chinese but it is a Albuquerque is incorrect.
sent12 -> int8: that the projector does not leap Chinese and is a Albuquerque is not true if it is Solomonic.; sent8 -> int9: if the projector is a radical then it is Solomonic.; sent2 -> int10: the projector is not non-radical if it is an assembly and it is not a kind of a Kahn.;
$hypothesis$ = the source is not an assembly but a footstep. ; $context$ = sent1: the snowboard is not Solomonic. sent2: if something that is a kind of an assembly is not a Kahn it is radical. sent3: if something is a kind of a phototherapy but it is not a Albatrellus then it is radical. sent4: something that subluxates and does not guggle DSL is false. sent5: that the source is an assembly and is a footstep is not right. sent6: the snowboard is a kind of an assembly. sent7: if the porkpie is not a kind of a Kahn the fact that the snowboard is not a radical but it leaps Chinese is not true. sent8: if something is a radical it is Solomonic. sent9: the porkpie is a phototherapy and not a Albatrellus if the snowboard is non-Solomonic. sent10: something is a Kahn if it does leap Chinese. sent11: if the porkpie is a radical the source does leap Chinese. sent12: the fact that something does not leap Chinese but it is a Albuquerque is not true if it is not non-Solomonic. sent13: if something is a Kahn that the fact that it is not a kind of an assembly and it is a kind of a footstep is not false is not right. ; $proof$ = 
sent9 & sent1 -> int1: the porkpie is a kind of a phototherapy that is not a Albatrellus.; sent3 -> int2: the porkpie is not non-radical if it is a phototherapy and it is not a kind of a Albatrellus.; int1 & int2 -> int3: the porkpie is a radical.; int3 & sent11 -> int4: the source does leap Chinese.; sent10 -> int5: the source is a Kahn if it leaps Chinese.; int4 & int5 -> int6: the fact that the source is a kind of a Kahn hold.; sent13 -> int7: if the source is a Kahn that it is not an assembly and it is a footstep does not hold.; int6 & int7 -> hypothesis; __DISPROVED__