「あの所定休日は使用料率だ」ということは成り立つ
fact1: 仮に「ディレクトリ名である」ものはあれば「あの養成教育は当曲だということはないけどデリートだ」ということは偽である fact2: もし仮に「あの養成教育は使用料率だということはないしそれにそれはデリートでない」ということは誤りであるならばあの所定休日は当曲である fact3: あの五Ｒは嘗め尽くす fact4: 仮に「当曲な」ものはあるとすると「あの養成教育はデリートであるということはなくてまた使用料率でない」ということは成り立たない fact5: あの養成教育はデリートであるなら「あの所定休日は使用料率である」ということは確かである fact6: 仮に「あの養成教育はデリートであるということはなくてそれは使用料率でない」ということは間違いだとすればあの所定休日は当曲である fact7: あの所定休日はデリートである fact8: 「あの所定休日は街らしい」ということは確かである fact9: 「あの養成教育は使用料率でないしそれはデリートでない」ということは成り立つということはない fact10: 「「ディレクトリ名である」ということは真実な」ものはある fact11: もしも「あの養成教育は当曲でないしそれにデリートでない」ということは誤っているならあの所定休日は使用料率だ fact12: 「あの養成教育は当曲でない一方でデリートだ」ということは成り立たない fact13: 「「当曲である」ということは成り立つ」ものはある fact14: もしあの五Ｒが下車するとすればそれはトランスデューサだということはないけれど甘酸っぱい fact15: もし仮に「ディレクトリ名な」ものはあれば「あの養成教育は当曲でないしまたデリートでない」ということは間違いだ fact16: もし「トランスデューサでないが甘酸っぱい」ものがあるとしたらあの訴えはデリートでない fact17: あの五Ｒが嘗め尽くすとしたらそれは下車する fact18: 「その御味噌汁は尊くないし紛らわしくない」ということは嘘だ fact19: 「もし使用料率はあるとすると「あの所定休日はデリートでなくてそれに当曲でない」ということは嘘だ」ということは正しい fact20: あの所定休日は当曲だ fact21: あの養成教育は航空史である
fact10 & fact15 -> int1: 「あの養成教育は当曲でないしかつデリートだということはない」ということは偽だ; int1 & fact11 -> hypothesis;
あの所定休日は使用料率でない
fact23 & fact25 -> int2: あの五Ｒは下車する; fact22 & int2 -> int3: あの五Ｒはトランスデューサでないけど甘酸っぱい; int3 -> int4: 「トランスデューサでないししかも甘酸っぱい」物はある; int4 & fact24 -> int5: あの訴えはデリートでない; int5 -> int6: 「「デリートでない」ということは成り立つ」物はある;
$facts$ = fact1: 仮に「ディレクトリ名である」ものはあれば「あの養成教育は当曲だということはないけどデリートだ」ということは偽である fact2: もし仮に「あの養成教育は使用料率だということはないしそれにそれはデリートでない」ということは誤りであるならばあの所定休日は当曲である fact3: あの五Ｒは嘗め尽くす fact4: 仮に「当曲な」ものはあるとすると「あの養成教育はデリートであるということはなくてまた使用料率でない」ということは成り立たない fact5: あの養成教育はデリートであるなら「あの所定休日は使用料率である」ということは確かである fact6: 仮に「あの養成教育はデリートであるということはなくてそれは使用料率でない」ということは間違いだとすればあの所定休日は当曲である fact7: あの所定休日はデリートである fact8: 「あの所定休日は街らしい」ということは確かである fact9: 「あの養成教育は使用料率でないしそれはデリートでない」ということは成り立つということはない fact10: 「「ディレクトリ名である」ということは真実な」ものはある fact11: もしも「あの養成教育は当曲でないしそれにデリートでない」ということは誤っているならあの所定休日は使用料率だ fact12: 「あの養成教育は当曲でない一方でデリートだ」ということは成り立たない fact13: 「「当曲である」ということは成り立つ」ものはある fact14: もしあの五Ｒが下車するとすればそれはトランスデューサだということはないけれど甘酸っぱい fact15: もし仮に「ディレクトリ名な」ものはあれば「あの養成教育は当曲でないしまたデリートでない」ということは間違いだ fact16: もし「トランスデューサでないが甘酸っぱい」ものがあるとしたらあの訴えはデリートでない fact17: あの五Ｒが嘗め尽くすとしたらそれは下車する fact18: 「その御味噌汁は尊くないし紛らわしくない」ということは嘘だ fact19: 「もし使用料率はあるとすると「あの所定休日はデリートでなくてそれに当曲でない」ということは嘘だ」ということは正しい fact20: あの所定休日は当曲だ fact21: あの養成教育は航空史である ; $hypothesis$ = 「あの所定休日は使用料率だ」ということは成り立つ ; $proof$ = 
fact10 & fact15 -> int1: 「あの養成教育は当曲でないしかつデリートだということはない」ということは偽だ; int1 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「ディレクトリ名である」ものはあれば「あの養成教育は当曲だということはないけどデリートだ」ということは偽である
事実2: もし仮に「あの養成教育は使用料率だということはないしそれにそれはデリートでない」ということは誤りであるならばあの所定休日は当曲である
事実3: あの五Ｒは嘗め尽くす
事実4: 仮に「当曲な」ものはあるとすると「あの養成教育はデリートであるということはなくてまた使用料率でない」ということは成り立たない
事実5: あの養成教育はデリートであるなら「あの所定休日は使用料率である」ということは確かである
事実6: 仮に「あの養成教育はデリートであるということはなくてそれは使用料率でない」ということは間違いだとすればあの所定休日は当曲である
事実7: あの所定休日はデリートである
事実8: 「あの所定休日は街らしい」ということは確かである
事実9: 「あの養成教育は使用料率でないしそれはデリートでない」ということは成り立つということはない
事実10: 「「ディレクトリ名である」ということは真実な」ものはある
事実11: もしも「あの養成教育は当曲でないしそれにデリートでない」ということは誤っているならあの所定休日は使用料率だ
事実12: 「あの養成教育は当曲でない一方でデリートだ」ということは成り立たない
事実13: 「「当曲である」ということは成り立つ」ものはある
事実14: もしあの五Ｒが下車するとすればそれはトランスデューサだということはないけれど甘酸っぱい
事実15: もし仮に「ディレクトリ名な」ものはあれば「あの養成教育は当曲でないしまたデリートでない」ということは間違いだ
事実16: もし「トランスデューサでないが甘酸っぱい」ものがあるとしたらあの訴えはデリートでない
事実17: あの五Ｒが嘗め尽くすとしたらそれは下車する
事実18: 「その御味噌汁は尊くないし紛らわしくない」ということは嘘だ
事実19: 「もし使用料率はあるとすると「あの所定休日はデリートでなくてそれに当曲でない」ということは嘘だ」ということは正しい
事実20: あの所定休日は当曲だ
事実21: あの養成教育は航空史である

仮説: 「あの所定休日は使用料率だ」ということは成り立つ
1. 事実10と事実15から、推論1: "「あの養成教育は当曲でないしかつデリートだということはない」ということは偽だ"が導かれる
2. 推論1と事実11から、仮説が導かれる

よって、仮説が証明されました。