その書き入れはクレーン社であるしまたミアズマである
fact1: 仮にとある物は長ーいとすると「スパイダーマンでないけど観察出来る」ということは間違いだ fact2: 仮に「そのトパーズは先鋭化するということはないけれどミアズマだ」ということは成り立つということはないならばそのティフェレットはミアズマでない fact3: もしもその書き入れが転び易いとしたらこのメモ帳は転び易い fact4: その書き入れがミアズマだしさらに転び易い fact5: もしもその超高齢社会はアップリケ・アーマーモジュールであるとすればそれは利益確保である fact6: もしあの昆虫は両目視差だとすれば「そのトパーズは先鋭化しないけれどミアズマだ」ということは成り立たない fact7: その超高齢社会はアップリケ・アーマーモジュールだ fact8: もし仮になんらかのものが模様化しないとするとそれは食べ易くない fact9: もし仮にあるものは後ろ足でないならば「クレーン社であるしミアズマである」ということは成り立たない fact10: 仮にそのティフェレットがクレーン社でなくてその上後ろ足でないとするとその書き入れは転び易い fact11: もしもとあるものが食べ易くないなら両目視差である fact12: 「その書き入れは後ろ足である」ということは成り立つ fact13: もし「「スパイダーマンでないが観察出来る」ということは間違いである」物があるとしたらあの昆虫は模様化しない fact14: もし仮にそのトパーズが観察出来るということはないならばそれは模様化しないか食べ易くないかもしくは両方だ fact15: その書き入れはクレーン社で後ろ足だ fact16: もしもその超高齢社会が利益確保だとするとその喪失感は長ーい fact17: もしそのティフェレットは先鋭化しないなら「「それは転び易くなくてしかも両目視差だ」ということは確かだ」ということは事実と異なる
fact15 -> int1: その書き入れはクレーン社だ; fact4 -> int2: その書き入れはミアズマだ; int1 & int2 -> hypothesis;
「このメモ帳は転び易い」ということは成り立つ
fact18 -> int3: 「あの昆虫は食べ易くない」ということは成り立つならそれは両目視差である; fact20 -> int4: もしもあの昆虫が模様化しないならそれは食べ易くない; fact19 -> int5: その喪失感は長ーいならば「それはスパイダーマンでないが観察出来る」ということは間違っている; fact26 & fact24 -> int6: その超高齢社会は利益確保だ; fact21 & int6 -> int7: その喪失感は長ーい; int5 & int7 -> int8: 「その喪失感はスパイダーマンでないけど観察出来る」ということは嘘である; int8 -> int9: 「「スパイダーマンでなくて加えて観察出来る」ということは間違いである」ものはある; int9 & fact27 -> int10: あの昆虫は模様化しない; int4 & int10 -> int11: あの昆虫は食べ易くない; int3 & int11 -> int12: あの昆虫は両目視差である; fact28 & int12 -> int13: 「そのトパーズは先鋭化しないけどそれはミアズマだ」ということは成り立たない; fact23 & int13 -> int14: そのティフェレットはミアズマでない;
$facts$ = fact1: 仮にとある物は長ーいとすると「スパイダーマンでないけど観察出来る」ということは間違いだ fact2: 仮に「そのトパーズは先鋭化するということはないけれどミアズマだ」ということは成り立つということはないならばそのティフェレットはミアズマでない fact3: もしもその書き入れが転び易いとしたらこのメモ帳は転び易い fact4: その書き入れがミアズマだしさらに転び易い fact5: もしもその超高齢社会はアップリケ・アーマーモジュールであるとすればそれは利益確保である fact6: もしあの昆虫は両目視差だとすれば「そのトパーズは先鋭化しないけれどミアズマだ」ということは成り立たない fact7: その超高齢社会はアップリケ・アーマーモジュールだ fact8: もし仮になんらかのものが模様化しないとするとそれは食べ易くない fact9: もし仮にあるものは後ろ足でないならば「クレーン社であるしミアズマである」ということは成り立たない fact10: 仮にそのティフェレットがクレーン社でなくてその上後ろ足でないとするとその書き入れは転び易い fact11: もしもとあるものが食べ易くないなら両目視差である fact12: 「その書き入れは後ろ足である」ということは成り立つ fact13: もし「「スパイダーマンでないが観察出来る」ということは間違いである」物があるとしたらあの昆虫は模様化しない fact14: もし仮にそのトパーズが観察出来るということはないならばそれは模様化しないか食べ易くないかもしくは両方だ fact15: その書き入れはクレーン社で後ろ足だ fact16: もしもその超高齢社会が利益確保だとするとその喪失感は長ーい fact17: もしそのティフェレットは先鋭化しないなら「「それは転び易くなくてしかも両目視差だ」ということは確かだ」ということは事実と異なる ; $hypothesis$ = その書き入れはクレーン社であるしまたミアズマである ; $proof$ = 
fact15 -> int1: その書き入れはクレーン社だ; fact4 -> int2: その書き入れはミアズマだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にとある物は長ーいとすると「スパイダーマンでないけど観察出来る」ということは間違いだ
事実2: 仮に「そのトパーズは先鋭化するということはないけれどミアズマだ」ということは成り立つということはないならばそのティフェレットはミアズマでない
事実3: もしもその書き入れが転び易いとしたらこのメモ帳は転び易い
事実4: その書き入れがミアズマだしさらに転び易い
事実5: もしもその超高齢社会はアップリケ・アーマーモジュールであるとすればそれは利益確保である
事実6: もしあの昆虫は両目視差だとすれば「そのトパーズは先鋭化しないけれどミアズマだ」ということは成り立たない
事実7: その超高齢社会はアップリケ・アーマーモジュールだ
事実8: もし仮になんらかのものが模様化しないとするとそれは食べ易くない
事実9: もし仮にあるものは後ろ足でないならば「クレーン社であるしミアズマである」ということは成り立たない
事実10: 仮にそのティフェレットがクレーン社でなくてその上後ろ足でないとするとその書き入れは転び易い
事実11: もしもとあるものが食べ易くないなら両目視差である
事実12: 「その書き入れは後ろ足である」ということは成り立つ
事実13: もし「「スパイダーマンでないが観察出来る」ということは間違いである」物があるとしたらあの昆虫は模様化しない
事実14: もし仮にそのトパーズが観察出来るということはないならばそれは模様化しないか食べ易くないかもしくは両方だ
事実15: その書き入れはクレーン社で後ろ足だ
事実16: もしもその超高齢社会が利益確保だとするとその喪失感は長ーい
事実17: もしそのティフェレットは先鋭化しないなら「「それは転び易くなくてしかも両目視差だ」ということは確かだ」ということは事実と異なる

仮説: その書き入れはクレーン社であるしまたミアズマである
1. 事実15から、推論1: "その書き入れはクレーン社だ"が導かれる
2. 事実4から、推論2: "その書き入れはミアズマだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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