この運動量は学生数でない
fact1: もしもなにがしかの物がドライブするなら学生数でないしそれは受け入れ難い fact2: もしあの前暦年はディメンションであるし極まりないとすれば受け入れ難くない fact3: あの前暦年は押し潰す fact4: あの前暦年はディメンションでないけどそれは極まりない fact5: もしもあの前暦年がディメンションでないけれどそれが極まりないとしたら受け入れ難いということはない fact6: この運動量は極まりない fact7: もしもあの図書がドライブするとするとこの運動量は学生数である fact8: 「受け入れ難いということはない物は押し潰すけど聞こし召さない」ということは真実だ fact9: 「あの前暦年はディメンションでない」ということは成り立つ fact10: 仮にあるものが受け入れ難くないならば押し潰す fact11: あの前暦年は押し潰すけれど聞こし召さないとしたら「あの図書はドライブしない」ということは嘘だ fact12: もし仮にあの前暦年が受け入れ難くないとすればそれは押し潰す
fact8 -> int1: 仮にあの前暦年が受け入れ難くないならば押し潰すしそれは聞こし召さない; fact4 & fact5 -> int2: あの前暦年は受け入れ難くない; int1 & int2 -> int3: あの前暦年は押し潰すけど聞こし召さない; int3 & fact11 -> int4: あの図書はドライブする; int4 & fact7 -> hypothesis;
この運動量は学生数でない
fact13 -> int5: もしこの運動量がドライブするなら学生数でないしそれにそれは受け入れ難い;
$facts$ = fact1: もしもなにがしかの物がドライブするなら学生数でないしそれは受け入れ難い fact2: もしあの前暦年はディメンションであるし極まりないとすれば受け入れ難くない fact3: あの前暦年は押し潰す fact4: あの前暦年はディメンションでないけどそれは極まりない fact5: もしもあの前暦年がディメンションでないけれどそれが極まりないとしたら受け入れ難いということはない fact6: この運動量は極まりない fact7: もしもあの図書がドライブするとするとこの運動量は学生数である fact8: 「受け入れ難いということはない物は押し潰すけど聞こし召さない」ということは真実だ fact9: 「あの前暦年はディメンションでない」ということは成り立つ fact10: 仮にあるものが受け入れ難くないならば押し潰す fact11: あの前暦年は押し潰すけれど聞こし召さないとしたら「あの図書はドライブしない」ということは嘘だ fact12: もし仮にあの前暦年が受け入れ難くないとすればそれは押し潰す ; $hypothesis$ = この運動量は学生数でない ; $proof$ = 
fact8 -> int1: 仮にあの前暦年が受け入れ難くないならば押し潰すしそれは聞こし召さない; fact4 & fact5 -> int2: あの前暦年は受け入れ難くない; int1 & int2 -> int3: あの前暦年は押し潰すけど聞こし召さない; int3 & fact11 -> int4: あの図書はドライブする; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物がドライブするなら学生数でないしそれは受け入れ難い
事実2: もしあの前暦年はディメンションであるし極まりないとすれば受け入れ難くない
事実3: あの前暦年は押し潰す
事実4: あの前暦年はディメンションでないけどそれは極まりない
事実5: もしもあの前暦年がディメンションでないけれどそれが極まりないとしたら受け入れ難いということはない
事実6: この運動量は極まりない
事実7: もしもあの図書がドライブするとするとこの運動量は学生数である
事実8: 「受け入れ難いということはない物は押し潰すけど聞こし召さない」ということは真実だ
事実9: 「あの前暦年はディメンションでない」ということは成り立つ
事実10: 仮にあるものが受け入れ難くないならば押し潰す
事実11: あの前暦年は押し潰すけれど聞こし召さないとしたら「あの図書はドライブしない」ということは嘘だ
事実12: もし仮にあの前暦年が受け入れ難くないとすればそれは押し潰す

仮説: この運動量は学生数でない
1. 事実8から、推論1: "仮にあの前暦年が受け入れ難くないならば押し潰すしそれは聞こし召さない"が導かれる
2. 事実4と事実5から、推論2: "あの前暦年は受け入れ難くない"が導かれる
3. 推論1と推論2から、推論3: "あの前暦年は押し潰すけど聞こし召さない"が導かれる
4. 推論3と事実11から、推論4: "あの図書はドライブする"が導かれる
5. 推論4と事実7から、仮説が否定される

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