このヒガイはイヤーブックだ
fact1: もしもあの特許事務管理部門は食べ易いとすれば「このノートブックは条約調印だ」ということは本当である fact2: 味わい深くないものは食べ易くない fact3: 「もしもその演習ツールが言い合うとするとこのヒガイはイヤーブックだ」ということは事実だ fact4: 「割り引く」ものはある fact5: ある物は割り引くし食べ易い fact6: その演習ツールは千九百七十年代頃である fact7: 仮に「あの特許事務管理部門は食べ易くない」ということは正しいならばあの縞鯵は割り引くがそれは食べ易くない fact8: もし仮に「「割り引く」ということは成り立つ」ものはあれば「その縞鯵は味わい深くなくて更に割り引くということはない」ということは誤りだ fact9: もしこのノートブックが食べ易くないとしたらあの特許事務管理部門は条約調印であるかまたはそれはイヤーブックでないか両方だ fact10: その縞鯵は言い合う fact11: すべての物は条約調印だということはない fact12: なにがしかのものが条約調印でないがしかし食べ易いとすると「それはイヤーブックでない」ということは事実である fact13: 「可笑しい」物はある fact14: もしもなにがしかのものは頼り甲斐でないとしたら割り引くしさらに言い合う fact15: あの特許事務管理部門が食べ易くないとすればその縞鯵は割り引く fact16: 仮にその演習ツールが千九百七十年代頃であるがしかしそれが襲い来ないとすれば頼り甲斐でない fact17: 何らかの物は把握し辛いしかつ大仏開眼供養だ fact18: もし仮にあの特許事務管理部門が条約調印ならばこのヒガイはイヤーブックでない fact19: 「食べ易いということはない」物はある fact20: このノートブックは食べ易い fact21: もし仮になにがしかのものが味わい深いとしたら言い合う fact22: その縞鯵は割り引く fact23: もし「割り引くがしかし食べ易くない」ものがあるとしたらその演習ツールは味わい深い
void -> assump1: 以下のように仮定する。あの特許事務管理部門は食べ易い; fact1 & assump1 -> int1: このノートブックは条約調印である; fact11 -> int2: このノートブックは条約調印でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの特許事務管理部門は食べ易くない; int4 & fact7 -> int5: その縞鯵は割り引くがしかし食べ易くない; int5 -> int6: なんらかの物は割り引くけれど食べ易くない; int6 & fact23 -> int7: その演習ツールは味わい深い; fact21 -> int8: もしその演習ツールが味わい深いなら言い合う; int7 & int8 -> int9: その演習ツールは言い合う; int9 & fact3 -> hypothesis;
このヒガイはイヤーブックでない
fact24 -> int10: このヒガイは条約調印でないけれど食べ易いとするとそれはイヤーブックでない;
$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$ = 
void -> assump1: 以下のように仮定する。あの特許事務管理部門は食べ易い; fact1 & assump1 -> int1: このノートブックは条約調印である; fact11 -> int2: このノートブックは条約調印でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの特許事務管理部門は食べ易くない; int4 & fact7 -> int5: その縞鯵は割り引くがしかし食べ易くない; int5 -> int6: なんらかの物は割り引くけれど食べ易くない; int6 & fact23 -> int7: その演習ツールは味わい深い; fact21 -> int8: もしその演習ツールが味わい深いなら言い合う; int7 & int8 -> int9: その演習ツールは言い合う; int9 & fact3 -> 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. 仮定1: 以下のように仮定する。あの特許事務管理部門は食べ易い
2. 事実1と仮定1から、推論1: "このノートブックは条約調印である"が導かれる
3. 事実11から、推論2: "このノートブックは条約調印でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの特許事務管理部門は食べ易くない"が導かれる
6. 推論4と事実7から、推論5: "その縞鯵は割り引くがしかし食べ易くない"が導かれる
7. 推論5から、推論6: "なんらかの物は割り引くけれど食べ易くない"が導かれる
8. 推論6と事実23から、推論7: "その演習ツールは味わい深い"が導かれる
9. 事実21から、推論8: "もしその演習ツールが味わい深いなら言い合う"が導かれる
10. 推論7と推論8から、推論9: "その演習ツールは言い合う"が導かれる
11. 推論9と事実3から、仮説が導かれる

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