「この樹枝状は協定する」ということは確かだ
fact1: あの代議士は輩出するということはないが人間らしい fact2: あの代議士は酢の物で更にそれは扱い難い fact3: あの代議士は人間らしい fact4: 仮にこの身言葉が窺い見ないならばあの樹枝状は一リットル当たりだ fact5: なんらかのものが酢の物だし加えて趾間であるとしたらこの身言葉は窺い見るということはない fact6: もしもあの代議士が輩出しないけどそれが人間らしいならばそれは趾間だ fact7: あの代議士は人間らしくて一リットル当たりだ fact8: 「酢の物な」物はある fact9: もしもこの身言葉は趾間であるとすると「あの代議士は御報告しないけど扱い難い」ということは間違いだ fact10: 「この身言葉は窺い見ない」ということは確かだとしたらこの樹枝状は協定しないが一リットル当たりである fact11: 仮に「あるものは御報告しないけどそれは扱い難い」ということは事実でないならそれは御報告する
fact2 -> int1: あの代議士は酢の物だ; fact6 & fact1 -> int2: あの代議士は趾間である; int1 & int2 -> int3: あの代議士は酢の物であるしかつそれは趾間だ; int3 -> int4: 「酢の物であるしそれに趾間な」ものはある; int4 & fact5 -> int5: この身言葉は窺い見ない; int5 & fact10 -> int6: この樹枝状は協定しない一方で一リットル当たりである; int6 -> hypothesis;
あの代議士は協定するしまた御報告する
fact13 -> int7: もし「あの代議士は御報告しないがしかし扱い難い」ということは嘘であるとしたらそれは御報告する;
$facts$ = fact1: あの代議士は輩出するということはないが人間らしい fact2: あの代議士は酢の物で更にそれは扱い難い fact3: あの代議士は人間らしい fact4: 仮にこの身言葉が窺い見ないならばあの樹枝状は一リットル当たりだ fact5: なんらかのものが酢の物だし加えて趾間であるとしたらこの身言葉は窺い見るということはない fact6: もしもあの代議士が輩出しないけどそれが人間らしいならばそれは趾間だ fact7: あの代議士は人間らしくて一リットル当たりだ fact8: 「酢の物な」物はある fact9: もしもこの身言葉は趾間であるとすると「あの代議士は御報告しないけど扱い難い」ということは間違いだ fact10: 「この身言葉は窺い見ない」ということは確かだとしたらこの樹枝状は協定しないが一リットル当たりである fact11: 仮に「あるものは御報告しないけどそれは扱い難い」ということは事実でないならそれは御報告する ; $hypothesis$ = 「この樹枝状は協定する」ということは確かだ ; $proof$ = 
fact2 -> int1: あの代議士は酢の物だ; fact6 & fact1 -> int2: あの代議士は趾間である; int1 & int2 -> int3: あの代議士は酢の物であるしかつそれは趾間だ; int3 -> int4: 「酢の物であるしそれに趾間な」ものはある; int4 & fact5 -> int5: この身言葉は窺い見ない; int5 & fact10 -> int6: この樹枝状は協定しない一方で一リットル当たりである; int6 -> hypothesis; __DISPROVED__
事実1: あの代議士は輩出するということはないが人間らしい
事実2: あの代議士は酢の物で更にそれは扱い難い
事実3: あの代議士は人間らしい
事実4: 仮にこの身言葉が窺い見ないならばあの樹枝状は一リットル当たりだ
事実5: なんらかのものが酢の物だし加えて趾間であるとしたらこの身言葉は窺い見るということはない
事実6: もしもあの代議士が輩出しないけどそれが人間らしいならばそれは趾間だ
事実7: あの代議士は人間らしくて一リットル当たりだ
事実8: 「酢の物な」物はある
事実9: もしもこの身言葉は趾間であるとすると「あの代議士は御報告しないけど扱い難い」ということは間違いだ
事実10: 「この身言葉は窺い見ない」ということは確かだとしたらこの樹枝状は協定しないが一リットル当たりである
事実11: 仮に「あるものは御報告しないけどそれは扱い難い」ということは事実でないならそれは御報告する

仮説: 「この樹枝状は協定する」ということは確かだ
1. 事実2から、推論1: "あの代議士は酢の物だ"が導かれる
2. 事実6と事実1から、推論2: "あの代議士は趾間である"が導かれる
3. 推論1と推論2から、推論3: "あの代議士は酢の物であるしかつそれは趾間だ"が導かれる
4. 推論3から、推論4: "「酢の物であるしそれに趾間な」ものはある"が導かれる
5. 推論4と事実5から、推論5: "この身言葉は窺い見ない"が導かれる
6. 推論5と事実10から、推論6: "この樹枝状は協定しない一方で一リットル当たりである"が導かれる
7. 推論6から、仮説が否定される

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