the motion is a kind of an austral and/or it is not thermodynamics.
sent1: the Tungusic is arbitrative. sent2: the motion is not non-arbitrative if the Tungusic is non-arbitrative. sent3: if something is arbitrative then the fact that it is an austral and/or is not thermodynamics is not correct.
sent3 -> int1: if the motion is arbitrative that it is an austral and/or it is not thermodynamics is not right.; sent2 & sent1 -> int2: the motion is arbitrative.; int1 & int2 -> hypothesis;
$hypothesis$ = the motion is a kind of an austral and/or it is not thermodynamics. ; $context$ = sent1: the Tungusic is arbitrative. sent2: the motion is not non-arbitrative if the Tungusic is non-arbitrative. sent3: if something is arbitrative then the fact that it is an austral and/or is not thermodynamics is not correct. ; $proof$ = 
sent3 -> int1: if the motion is arbitrative that it is an austral and/or it is not thermodynamics is not right.; sent2 & sent1 -> int2: the motion is arbitrative.; int1 & int2 -> hypothesis; __DISPROVED__