あのグラフシートは経由でない
fact1: 仮にこの片足が女々しかないとすればあのグラフシートは女々しいかそれは経由であるか両方だ fact2: もしもなんらかのものがそつ無くないなら還付しなくて矢口達である fact3: もしなにかは還付しない一方で矢口達であるとしたら麗しない fact4: あの司法試験は秘法だということはない fact5: 仮になにがしかの物が麗しないならばそれは幅広いかもしくは愚かしいかあるいは両方ともだ fact6: もしその各電停が切り裂けないけれどそれが施工費用であるならこの片足は女々しかない fact7: もしもあの司法試験が女々しいならあのグラフシートは経由である fact8: 仮にこの片足が交差しないならそれはそつ無いということはない fact9: 仮にあの司法試験が賢しならあのグラフシートは経由だ fact10: その各電停は切り裂けない一方でそれは施工費用である fact11: もしも「その各電停は賢し」ということは成り立てばあの司法試験は切り裂ける fact12: この片足が女々しかないとしたらあの司法試験は女々しいか賢し fact13: 仮にあの司法試験が秘法だということはないならばあのグラフシートは賢ししおまけに採取出来る fact14: この片足は交差しない fact15: もしその各電停が愚かしいならあのグラフシートは女々しい fact16: もし仮に賢しものが女々しいとすると経由だということはない fact17: もし仮に「あの司法試験は切り裂けるということはないがしかし経由である」ということは正しいとすればその各電停は女々しかない
fact6 & fact10 -> int1: この片足は女々しかない; int1 & fact12 -> int2: あの司法試験は女々しいかまたは賢し; int2 & fact7 & fact9 -> hypothesis;
fact6 & fact10 -> int1: ¬{B}{b}; int1 & fact12 -> int2: ({B}{c} v {A}{c}); int2 & fact7 & fact9 -> hypothesis;
あのグラフシートは経由でない
fact22 -> int3: あのグラフシートは賢しし女々しいとすると経由でない; fact19 & fact24 -> int4: あのグラフシートが賢ししその上採取出来る; int4 -> int5: あのグラフシートは賢し; fact21 -> int6: 仮にこの片足が麗しないとすれば幅広いかあるいはそれは愚かしいかもしくは両方だ; fact23 -> int7: この片足が還付しないけれど矢口達であるならば麗しない; fact18 -> int8: もし仮にこの片足がそつ無くないとすると還付しないがしかし矢口達である; fact25 & fact20 -> int9: この片足はそつ無くない; int8 & int9 -> int10: この片足は還付しない一方で矢口達だ; int7 & int10 -> int11: この片足は麗しない; int6 & int11 -> int12: この片足は幅広いかあるいはそれは愚かしい;
$facts$ = fact1: 仮にこの片足が女々しかないとすればあのグラフシートは女々しいかそれは経由であるか両方だ fact2: もしもなんらかのものがそつ無くないなら還付しなくて矢口達である fact3: もしなにかは還付しない一方で矢口達であるとしたら麗しない fact4: あの司法試験は秘法だということはない fact5: 仮になにがしかの物が麗しないならばそれは幅広いかもしくは愚かしいかあるいは両方ともだ fact6: もしその各電停が切り裂けないけれどそれが施工費用であるならこの片足は女々しかない fact7: もしもあの司法試験が女々しいならあのグラフシートは経由である fact8: 仮にこの片足が交差しないならそれはそつ無いということはない fact9: 仮にあの司法試験が賢しならあのグラフシートは経由だ fact10: その各電停は切り裂けない一方でそれは施工費用である fact11: もしも「その各電停は賢し」ということは成り立てばあの司法試験は切り裂ける fact12: この片足が女々しかないとしたらあの司法試験は女々しいか賢し fact13: 仮にあの司法試験が秘法だということはないならばあのグラフシートは賢ししおまけに採取出来る fact14: この片足は交差しない fact15: もしその各電停が愚かしいならあのグラフシートは女々しい fact16: もし仮に賢しものが女々しいとすると経由だということはない fact17: もし仮に「あの司法試験は切り裂けるということはないがしかし経由である」ということは正しいとすればその各電停は女々しかない ; $hypothesis$ = あのグラフシートは経由でない ; $proof$ = 
fact6 & fact10 -> int1: この片足は女々しかない; int1 & fact12 -> int2: あの司法試験は女々しいかまたは賢し; int2 & fact7 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮にこの片足が女々しかないとすればあのグラフシートは女々しいかそれは経由であるか両方だ
事実2: もしもなんらかのものがそつ無くないなら還付しなくて矢口達である
事実3: もしなにかは還付しない一方で矢口達であるとしたら麗しない
事実4: あの司法試験は秘法だということはない
事実5: 仮になにがしかの物が麗しないならばそれは幅広いかもしくは愚かしいかあるいは両方ともだ
事実6: もしその各電停が切り裂けないけれどそれが施工費用であるならこの片足は女々しかない
事実7: もしもあの司法試験が女々しいならあのグラフシートは経由である
事実8: 仮にこの片足が交差しないならそれはそつ無いということはない
事実9: 仮にあの司法試験が賢しならあのグラフシートは経由だ
事実10: その各電停は切り裂けない一方でそれは施工費用である
事実11: もしも「その各電停は賢し」ということは成り立てばあの司法試験は切り裂ける
事実12: この片足が女々しかないとしたらあの司法試験は女々しいか賢し
事実13: 仮にあの司法試験が秘法だということはないならばあのグラフシートは賢ししおまけに採取出来る
事実14: この片足は交差しない
事実15: もしその各電停が愚かしいならあのグラフシートは女々しい
事実16: もし仮に賢しものが女々しいとすると経由だということはない
事実17: もし仮に「あの司法試験は切り裂けるということはないがしかし経由である」ということは正しいとすればその各電停は女々しかない

仮説: あのグラフシートは経由でない
1. 事実6と事実10から、推論1: "この片足は女々しかない"が導かれる
2. 推論1と事実12から、推論2: "あの司法試験は女々しいかまたは賢し"が導かれる
3. 推論2と事実7と事実9から、仮説が否定される

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