「その休学はがめつかないか贈呈しないかあるいは両方ともだ」ということは嘘だ
fact1: もし仮に疎ましい物があればその休学は贈呈する fact2: 「あの人気料理は仕分けるがしかし贈呈しない」ということは間違いだ fact3: もしその休学が疎ましいならこの薬物使用は贈呈する fact4: もし仮に「あの人気料理はがめついけれど疎ましくらない」ということは成り立つとすればその休学はがめついということはない fact5: 仮に「この薬物使用はがめついけど仕分けない」ということは成り立たないとすればそれは疎ましい fact6: 仮にあの人気料理ががめついとしたらその休学は等級毎だ fact7: もし仮に「何らかの物は離れ難くなくてかつそれは検査でない」ということは事実でないなら等級毎でない fact8: この薬物使用は何気無くない fact9: その休学は贈呈する fact10: もしも何かは等級毎でないとしたらがめつい一方で疎ましかない fact11: もし仮に「「あの人気料理は電子情報であるがしかし仕分けない」ということは成り立たない」ということは確かだとしたら等級毎だ fact12: 疎ましいものは横滑りする fact13: 「その休学は贈呈しないかもしくは等級毎でないかまたは両方である」ということは成り立たない fact14: この薬物使用は贈呈する fact15: 「あの人気料理は電子情報でそれにそれは仕分ける」ということは間違っている fact16: もしも「「疎ましい」ということは成り立つ」物はあれば「その休学はがめついということはないかまたはそれは贈呈するということはないかあるいは両方ともである」ということは成り立たない fact17: もし仮に「あの人気料理は等級毎である」ということは本当であるとしたらこの薬物使用は疎ましい fact18: 「あの人気料理は電子情報であるけれどそれは仕分けない」ということは成り立つということはない fact19: もし仮にあの人気料理は仕分けるとすると「等級毎である」ということは真実だ fact20: 「電子情報な」ものはある fact21: もし仮にあの人気料理が贈呈しないならばそれは疎ましくて等級毎である fact22: この薬物使用が何気無くないとするとそれは淀み無くないが御立場だ
fact11 & fact18 -> int1: あの人気料理は等級毎である; int1 & fact17 -> int2: この薬物使用は疎ましい; int2 -> int3: 疎ましい物はある; int3 & fact16 -> hypothesis;
その休学はがめつかないかもしくは贈呈しないかまたは両方ともである
fact25 -> int4: あの人気料理は等級毎でないとしたらがめつい一方で疎ましかない; fact26 -> int5: 「あの人気料理は離れ難くなくて検査でない」ということは誤っているとしたらそれは等級毎でない; fact27 & fact24 -> int6: この薬物使用は淀み無くないけど御立場である; int6 -> int7: この薬物使用は淀み無くない; int7 -> int8: 「淀み無いということはない」ものはある;
$facts$ = fact1: もし仮に疎ましい物があればその休学は贈呈する fact2: 「あの人気料理は仕分けるがしかし贈呈しない」ということは間違いだ fact3: もしその休学が疎ましいならこの薬物使用は贈呈する fact4: もし仮に「あの人気料理はがめついけれど疎ましくらない」ということは成り立つとすればその休学はがめついということはない fact5: 仮に「この薬物使用はがめついけど仕分けない」ということは成り立たないとすればそれは疎ましい fact6: 仮にあの人気料理ががめついとしたらその休学は等級毎だ fact7: もし仮に「何らかの物は離れ難くなくてかつそれは検査でない」ということは事実でないなら等級毎でない fact8: この薬物使用は何気無くない fact9: その休学は贈呈する fact10: もしも何かは等級毎でないとしたらがめつい一方で疎ましかない fact11: もし仮に「「あの人気料理は電子情報であるがしかし仕分けない」ということは成り立たない」ということは確かだとしたら等級毎だ fact12: 疎ましいものは横滑りする fact13: 「その休学は贈呈しないかもしくは等級毎でないかまたは両方である」ということは成り立たない fact14: この薬物使用は贈呈する fact15: 「あの人気料理は電子情報でそれにそれは仕分ける」ということは間違っている fact16: もしも「「疎ましい」ということは成り立つ」物はあれば「その休学はがめついということはないかまたはそれは贈呈するということはないかあるいは両方ともである」ということは成り立たない fact17: もし仮に「あの人気料理は等級毎である」ということは本当であるとしたらこの薬物使用は疎ましい fact18: 「あの人気料理は電子情報であるけれどそれは仕分けない」ということは成り立つということはない fact19: もし仮にあの人気料理は仕分けるとすると「等級毎である」ということは真実だ fact20: 「電子情報な」ものはある fact21: もし仮にあの人気料理が贈呈しないならばそれは疎ましくて等級毎である fact22: この薬物使用が何気無くないとするとそれは淀み無くないが御立場だ ; $hypothesis$ = 「その休学はがめつかないか贈呈しないかあるいは両方ともだ」ということは嘘だ ; $proof$ = 
fact11 & fact18 -> int1: あの人気料理は等級毎である; int1 & fact17 -> int2: この薬物使用は疎ましい; int2 -> int3: 疎ましい物はある; int3 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に疎ましい物があればその休学は贈呈する
事実2: 「あの人気料理は仕分けるがしかし贈呈しない」ということは間違いだ
事実3: もしその休学が疎ましいならこの薬物使用は贈呈する
事実4: もし仮に「あの人気料理はがめついけれど疎ましくらない」ということは成り立つとすればその休学はがめついということはない
事実5: 仮に「この薬物使用はがめついけど仕分けない」ということは成り立たないとすればそれは疎ましい
事実6: 仮にあの人気料理ががめついとしたらその休学は等級毎だ
事実7: もし仮に「何らかの物は離れ難くなくてかつそれは検査でない」ということは事実でないなら等級毎でない
事実8: この薬物使用は何気無くない
事実9: その休学は贈呈する
事実10: もしも何かは等級毎でないとしたらがめつい一方で疎ましかない
事実11: もし仮に「「あの人気料理は電子情報であるがしかし仕分けない」ということは成り立たない」ということは確かだとしたら等級毎だ
事実12: 疎ましいものは横滑りする
事実13: 「その休学は贈呈しないかもしくは等級毎でないかまたは両方である」ということは成り立たない
事実14: この薬物使用は贈呈する
事実15: 「あの人気料理は電子情報でそれにそれは仕分ける」ということは間違っている
事実16: もしも「「疎ましい」ということは成り立つ」物はあれば「その休学はがめついということはないかまたはそれは贈呈するということはないかあるいは両方ともである」ということは成り立たない
事実17: もし仮に「あの人気料理は等級毎である」ということは本当であるとしたらこの薬物使用は疎ましい
事実18: 「あの人気料理は電子情報であるけれどそれは仕分けない」ということは成り立つということはない
事実19: もし仮にあの人気料理は仕分けるとすると「等級毎である」ということは真実だ
事実20: 「電子情報な」ものはある
事実21: もし仮にあの人気料理が贈呈しないならばそれは疎ましくて等級毎である
事実22: この薬物使用が何気無くないとするとそれは淀み無くないが御立場だ

仮説: 「その休学はがめつかないか贈呈しないかあるいは両方ともだ」ということは嘘だ
1. 事実11と事実18から、推論1: "あの人気料理は等級毎である"が導かれる
2. 推論1と事実17から、推論2: "この薬物使用は疎ましい"が導かれる
3. 推論2から、推論3: "疎ましい物はある"が導かれる
4. 推論3と事実16から、仮説が導かれる

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