あの東京書籍は参加し易くない
fact1: このプロサーブは大略奪でないがしかしそれは正直過ぎる fact2: あの連結事業年度が正直過ぎるとしたらあの東京書籍は参加し易い fact3: もし「あの東京書籍は急ぎ過ぎないがしかしそれは書き抜く」ということは事実ならあの連結事業年度は御受けしない fact4: あの東京書籍は比例関係だ fact5: そのヘレニズム法は書き抜く fact6: あの東京書籍は書き抜く fact7: その専権事項は御筆だとすると「その代用食はきついということはないし人情家でない」ということは偽である fact8: もしもとある物は御受けしないとすれば「それは急ぎ過ぎるし加えて正直過ぎるということはない」ということは間違っている fact9: もしあの連結事業年度が潰せるとしたら正直過ぎる fact10: その専権事項は大西洋上であるしその上御筆だ fact11: もしあの連結事業年度は正直過ぎないが御受けするとしたら「あの東京書籍は参加し易くない」ということは正しい fact12: あの東京書籍はパスワード入力欄であるということはないしそれにそれはきつかない fact13: もしもこの友人達がアッパー度だとすれば動き始める fact14: このリース費用は御受けしない fact15: あの連結事業年度は参加し易くない fact16: もし「あの労災申請は書き抜かない」ということは間違いでないとしたらその代用食は書き抜かない fact17: もしきついものが書き抜くということはないとすればそれは御受けしない fact18: あの連結事業年度は急ぎ過ぎない fact19: その理趣経が態とらしくないとしたらあの労災申請は書き抜かない fact20: あの連結事業年度は書き抜く fact21: あの連結事業年度は正直過ぎないしかつそれは急ぎ過ぎるということはない fact22: もし仮にあの連結事業年度が書き抜けば御受けする fact23: 仮に「その代用食はきつくないしそれに人情家でない」ということは成り立たないならばきつい
fact21 -> int1: あの連結事業年度は正直過ぎない; fact20 & fact22 -> int2: あの連結事業年度は御受けする; int1 & int2 -> int3: 「あの連結事業年度は正直過ぎないがしかし御受けする」ということは成り立つ; int3 & fact11 -> hypothesis;
fact21 -> int1: ¬{A}{a}; fact20 & fact22 -> int2: {C}{a}; int1 & int2 -> int3: (¬{A}{a} & {C}{a}); int3 & fact11 -> hypothesis;
あの東京書籍は参加し易い
fact27 -> int4: 「「その代用食は御受けしない」ということは成り立てば「その代用食は急ぎ過ぎる一方で正直過ぎない」ということは成り立たない」ということは偽でない; fact25 -> int5: その代用食はきついけど書き抜かないとすればそれは御受けしない; fact28 -> int6: その専権事項は御筆だ; fact26 & int6 -> int7: 「「その代用食はきつくないしそれに人情家であるということはない」ということは偽である」ということは成り立つ; fact30 & 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: もし仮にあの連結事業年度が書き抜けば御受けする fact23: 仮に「その代用食はきつくないしそれに人情家でない」ということは成り立たないならばきつい ; $hypothesis$ = あの東京書籍は参加し易くない ; $proof$ = 
fact21 -> int1: あの連結事業年度は正直過ぎない; fact20 & fact22 -> int2: あの連結事業年度は御受けする; int1 & int2 -> int3: 「あの連結事業年度は正直過ぎないがしかし御受けする」ということは成り立つ; int3 & fact11 -> hypothesis; __PROVED__
事実1: このプロサーブは大略奪でないがしかしそれは正直過ぎる
事実2: あの連結事業年度が正直過ぎるとしたらあの東京書籍は参加し易い
事実3: もし「あの東京書籍は急ぎ過ぎないがしかしそれは書き抜く」ということは事実ならあの連結事業年度は御受けしない
事実4: あの東京書籍は比例関係だ
事実5: そのヘレニズム法は書き抜く
事実6: あの東京書籍は書き抜く
事実7: その専権事項は御筆だとすると「その代用食はきついということはないし人情家でない」ということは偽である
事実8: もしもとある物は御受けしないとすれば「それは急ぎ過ぎるし加えて正直過ぎるということはない」ということは間違っている
事実9: もしあの連結事業年度が潰せるとしたら正直過ぎる
事実10: その専権事項は大西洋上であるしその上御筆だ
事実11: もしあの連結事業年度は正直過ぎないが御受けするとしたら「あの東京書籍は参加し易くない」ということは正しい
事実12: あの東京書籍はパスワード入力欄であるということはないしそれにそれはきつかない
事実13: もしもこの友人達がアッパー度だとすれば動き始める
事実14: このリース費用は御受けしない
事実15: あの連結事業年度は参加し易くない
事実16: もし「あの労災申請は書き抜かない」ということは間違いでないとしたらその代用食は書き抜かない
事実17: もしきついものが書き抜くということはないとすればそれは御受けしない
事実18: あの連結事業年度は急ぎ過ぎない
事実19: その理趣経が態とらしくないとしたらあの労災申請は書き抜かない
事実20: あの連結事業年度は書き抜く
事実21: あの連結事業年度は正直過ぎないしかつそれは急ぎ過ぎるということはない
事実22: もし仮にあの連結事業年度が書き抜けば御受けする
事実23: 仮に「その代用食はきつくないしそれに人情家でない」ということは成り立たないならばきつい

仮説: あの東京書籍は参加し易くない
1. 事実21から、推論1: "あの連結事業年度は正直過ぎない"が導かれる
2. 事実20と事実22から、推論2: "あの連結事業年度は御受けする"が導かれる
3. 推論1と推論2から、推論3: "「あの連結事業年度は正直過ぎないがしかし御受けする」ということは成り立つ"が導かれる
4. 推論3と事実11から、仮説が導かれる

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