「この学習障害は相互関連するかまたは小ぢんまりする」ということは成り立たない
fact1: もしも何らかの物は観覧車だということはないなら「それは相互関連するかそれは小ぢんまりする」ということは偽である fact2: もしも「あの契約期限は小ぢんまりしない」ということは成り立つとすればこの学習障害は相互関連するかあるいはそれは小ぢんまりする fact3: もし仮にあの契約期限が観覧車でないとするとあの結合事例は相互関連するということはないが小ぢんまりする fact4: 仮にこのグループ化は止めど無くないなら「それは能うしそれに嘘っぽい」ということは成り立たない fact5: 「なにかは知謀であるがしかし発布しない」ということは事実と異なれば知謀だということはない fact6: この学習障害は観覧車でないとすれば「あの契約期限は相互関連するかもしくは観覧車である」ということは正しい fact7: この学習障害が観覧車でないならばあの契約期限は小ぢんまりするか観覧車であるかまたは両方である fact8: もし仮にあの契約期限が嘘っぽくないしそれにそれが能わないとしたらこの学習障害は嘘っぽくない fact9: もし「なにかは知謀だがしかし発布しない」ということは本当でないなら「それは観覧車だということはない」ということは正しい fact10: もしもなんらかのものは嘘っぽくないなら「知謀だが発布しない」ということは誤りである fact11: あの契約期限は小ぢんまりしないが観覧車である fact12: 仮に何らかのものは知謀であるということはないとするとそれは観覧車でない fact13: この学習障害は相互関連するかそれは観覧車であるかあるいは両方ともだ fact14: もしもあの契約期限が相互関連しないとすればあの学習障害は小ぢんまりするかあるいはそれは相互関連するかまたはどちらもである fact15: もしこの学習障害は嘘っぽくないとすると「あの契約期限は知謀だが発布しない」ということは嘘である fact16: あの契約期限は観覧車だ
fact11 -> int1: あの契約期限は小ぢんまりしない; int1 & fact2 -> hypothesis;
あの結合事例は相互関連しない
fact21 -> int2: もしあの契約期限は知謀でないとするとそれは観覧車でない; fact20 -> int3: 仮に「あの契約期限が知謀だけど発布しない」ということは誤りであるならばそれは知謀でない;
$facts$ = fact1: もしも何らかの物は観覧車だということはないなら「それは相互関連するかそれは小ぢんまりする」ということは偽である fact2: もしも「あの契約期限は小ぢんまりしない」ということは成り立つとすればこの学習障害は相互関連するかあるいはそれは小ぢんまりする fact3: もし仮にあの契約期限が観覧車でないとするとあの結合事例は相互関連するということはないが小ぢんまりする fact4: 仮にこのグループ化は止めど無くないなら「それは能うしそれに嘘っぽい」ということは成り立たない fact5: 「なにかは知謀であるがしかし発布しない」ということは事実と異なれば知謀だということはない fact6: この学習障害は観覧車でないとすれば「あの契約期限は相互関連するかもしくは観覧車である」ということは正しい fact7: この学習障害が観覧車でないならばあの契約期限は小ぢんまりするか観覧車であるかまたは両方である fact8: もし仮にあの契約期限が嘘っぽくないしそれにそれが能わないとしたらこの学習障害は嘘っぽくない fact9: もし「なにかは知謀だがしかし発布しない」ということは本当でないなら「それは観覧車だということはない」ということは正しい fact10: もしもなんらかのものは嘘っぽくないなら「知謀だが発布しない」ということは誤りである fact11: あの契約期限は小ぢんまりしないが観覧車である fact12: 仮に何らかのものは知謀であるということはないとするとそれは観覧車でない fact13: この学習障害は相互関連するかそれは観覧車であるかあるいは両方ともだ fact14: もしもあの契約期限が相互関連しないとすればあの学習障害は小ぢんまりするかあるいはそれは相互関連するかまたはどちらもである fact15: もしこの学習障害は嘘っぽくないとすると「あの契約期限は知謀だが発布しない」ということは嘘である fact16: あの契約期限は観覧車だ ; $hypothesis$ = 「この学習障害は相互関連するかまたは小ぢんまりする」ということは成り立たない ; $proof$ = 
fact11 -> int1: あの契約期限は小ぢんまりしない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は観覧車だということはないなら「それは相互関連するかそれは小ぢんまりする」ということは偽である
事実2: もしも「あの契約期限は小ぢんまりしない」ということは成り立つとすればこの学習障害は相互関連するかあるいはそれは小ぢんまりする
事実3: もし仮にあの契約期限が観覧車でないとするとあの結合事例は相互関連するということはないが小ぢんまりする
事実4: 仮にこのグループ化は止めど無くないなら「それは能うしそれに嘘っぽい」ということは成り立たない
事実5: 「なにかは知謀であるがしかし発布しない」ということは事実と異なれば知謀だということはない
事実6: この学習障害は観覧車でないとすれば「あの契約期限は相互関連するかもしくは観覧車である」ということは正しい
事実7: この学習障害が観覧車でないならばあの契約期限は小ぢんまりするか観覧車であるかまたは両方である
事実8: もし仮にあの契約期限が嘘っぽくないしそれにそれが能わないとしたらこの学習障害は嘘っぽくない
事実9: もし「なにかは知謀だがしかし発布しない」ということは本当でないなら「それは観覧車だということはない」ということは正しい
事実10: もしもなんらかのものは嘘っぽくないなら「知謀だが発布しない」ということは誤りである
事実11: あの契約期限は小ぢんまりしないが観覧車である
事実12: 仮に何らかのものは知謀であるということはないとするとそれは観覧車でない
事実13: この学習障害は相互関連するかそれは観覧車であるかあるいは両方ともだ
事実14: もしもあの契約期限が相互関連しないとすればあの学習障害は小ぢんまりするかあるいはそれは相互関連するかまたはどちらもである
事実15: もしこの学習障害は嘘っぽくないとすると「あの契約期限は知謀だが発布しない」ということは嘘である
事実16: あの契約期限は観覧車だ

仮説: 「この学習障害は相互関連するかまたは小ぢんまりする」ということは成り立たない
1. 事実11から、推論1: "あの契約期限は小ぢんまりしない"が導かれる
2. 推論1と事実2から、仮説が否定される

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