あの別地球人は四方であるけど平熱であるということはない
fact1: 仮にあの許婚は四方でないとしたら「あの別地球人は四方である一方でそれは平熱でない」ということは成り立たない fact2: あの別地球人は回りくどい fact3: もしあの許婚は自閉するとすると「四方でない」ということは成り立つ fact4: もし「なんらかの物は伝わり難くないし自閉しない」ということは偽ならば四方でない fact5: もしあのＩＣＩ社は影響され易いとすると「あの許婚は伝わり難くないし更に自閉しない」ということは成り立たない fact6: 「あの別地球人は四方だしその上平熱である」ということは間違っている fact7: あの許婚が平熱だとするとあのＩＣＩ社は四方である fact8: あのＩＣＩ社は影響され易い fact9: 「影響され易い物は四方であるがしかし平熱でない」ということは確かである fact10: 「あの許婚は自閉しない一方でそれは影響され易い」ということは成り立つということはない fact11: もし仮に「あの別地球人は平熱でなくてそれに合算しない」ということは間違っていればあの許婚は平熱である
fact5 & fact8 -> int1: 「「あの許婚は伝わり難くないしおまけに自閉しない」ということは偽である」ということは真実だ; fact4 -> int2: もし「あの許婚は伝わり難くないし自閉しない」ということは誤りなら四方であるということはない; int1 & int2 -> int3: あの許婚は四方でない; int3 & fact1 -> hypothesis;
あの別地球人は四方であるけれど平熱でない
fact12 -> int4: もし仮にあの別地球人が影響され易いとすれば四方だがしかし平熱でない;
$facts$ = fact1: 仮にあの許婚は四方でないとしたら「あの別地球人は四方である一方でそれは平熱でない」ということは成り立たない fact2: あの別地球人は回りくどい fact3: もしあの許婚は自閉するとすると「四方でない」ということは成り立つ fact4: もし「なんらかの物は伝わり難くないし自閉しない」ということは偽ならば四方でない fact5: もしあのＩＣＩ社は影響され易いとすると「あの許婚は伝わり難くないし更に自閉しない」ということは成り立たない fact6: 「あの別地球人は四方だしその上平熱である」ということは間違っている fact7: あの許婚が平熱だとするとあのＩＣＩ社は四方である fact8: あのＩＣＩ社は影響され易い fact9: 「影響され易い物は四方であるがしかし平熱でない」ということは確かである fact10: 「あの許婚は自閉しない一方でそれは影響され易い」ということは成り立つということはない fact11: もし仮に「あの別地球人は平熱でなくてそれに合算しない」ということは間違っていればあの許婚は平熱である ; $hypothesis$ = あの別地球人は四方であるけど平熱であるということはない ; $proof$ = 
fact5 & fact8 -> int1: 「「あの許婚は伝わり難くないしおまけに自閉しない」ということは偽である」ということは真実だ; fact4 -> int2: もし「あの許婚は伝わり難くないし自閉しない」ということは誤りなら四方であるということはない; int1 & int2 -> int3: あの許婚は四方でない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの許婚は四方でないとしたら「あの別地球人は四方である一方でそれは平熱でない」ということは成り立たない
事実2: あの別地球人は回りくどい
事実3: もしあの許婚は自閉するとすると「四方でない」ということは成り立つ
事実4: もし「なんらかの物は伝わり難くないし自閉しない」ということは偽ならば四方でない
事実5: もしあのＩＣＩ社は影響され易いとすると「あの許婚は伝わり難くないし更に自閉しない」ということは成り立たない
事実6: 「あの別地球人は四方だしその上平熱である」ということは間違っている
事実7: あの許婚が平熱だとするとあのＩＣＩ社は四方である
事実8: あのＩＣＩ社は影響され易い
事実9: 「影響され易い物は四方であるがしかし平熱でない」ということは確かである
事実10: 「あの許婚は自閉しない一方でそれは影響され易い」ということは成り立つということはない
事実11: もし仮に「あの別地球人は平熱でなくてそれに合算しない」ということは間違っていればあの許婚は平熱である

仮説: あの別地球人は四方であるけど平熱であるということはない
1. 事実5と事実8から、推論1: "「「あの許婚は伝わり難くないしおまけに自閉しない」ということは偽である」ということは真実だ"が導かれる
2. 事実4から、推論2: "もし「あの許婚は伝わり難くないし自閉しない」ということは誤りなら四方であるということはない"が導かれる
3. 推論1と推論2から、推論3: "あの許婚は四方でない"が導かれる
4. 推論3と事実1から、仮説が否定される

よって、仮説が否定されました。