この書紀は消灯するし日本最高である
fact1: もし仮にこの書紀が角觝だとするとそれは寒ーい fact2: この憲法問題は二時間後だし加えてそれは日本最高である fact3: もし仮にこの書紀は中小国であるならば日本最高である fact4: あの運び屋は書き易くて頼もしい fact5: この書紀は中小国だ fact6: 「その各要因は青系でないが補充権だ」ということは成り立たないとしたら「頼もしくない」ということは誤っている fact7: 「この書紀は頼もしくない一方でいがらっぽい」ということは事実と異なる fact8: もしも「この書紀は頼もしくないけれどいがらっぽい」ということは嘘であるとすると「消灯する」ということは間違っていない fact9: この書紀が青系だとしたらいがらっぽい fact10: 「この書紀は樹上でない一方で根強い」ということは成り立たない fact11: この書紀は良し fact12: 「この書紀はもたもたするしそれに戦闘諜報班である」ということは成り立たない fact13: この書紀は及び難い fact14: その静脈は頼もしい fact15: この書紀は折れ易い
fact8 & fact7 -> int1: この書紀は消灯する; fact5 & fact3 -> int2: この書紀は日本最高である; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にこの書紀が角觝だとするとそれは寒ーい fact2: この憲法問題は二時間後だし加えてそれは日本最高である fact3: もし仮にこの書紀は中小国であるならば日本最高である fact4: あの運び屋は書き易くて頼もしい fact5: この書紀は中小国だ fact6: 「その各要因は青系でないが補充権だ」ということは成り立たないとしたら「頼もしくない」ということは誤っている fact7: 「この書紀は頼もしくない一方でいがらっぽい」ということは事実と異なる fact8: もしも「この書紀は頼もしくないけれどいがらっぽい」ということは嘘であるとすると「消灯する」ということは間違っていない fact9: この書紀が青系だとしたらいがらっぽい fact10: 「この書紀は樹上でない一方で根強い」ということは成り立たない fact11: この書紀は良し fact12: 「この書紀はもたもたするしそれに戦闘諜報班である」ということは成り立たない fact13: この書紀は及び難い fact14: その静脈は頼もしい fact15: この書紀は折れ易い ; $hypothesis$ = この書紀は消灯するし日本最高である ; $proof$ = 
fact8 & fact7 -> int1: この書紀は消灯する; fact5 & fact3 -> int2: この書紀は日本最高である; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの書紀が角觝だとするとそれは寒ーい
事実2: この憲法問題は二時間後だし加えてそれは日本最高である
事実3: もし仮にこの書紀は中小国であるならば日本最高である
事実4: あの運び屋は書き易くて頼もしい
事実5: この書紀は中小国だ
事実6: 「その各要因は青系でないが補充権だ」ということは成り立たないとしたら「頼もしくない」ということは誤っている
事実7: 「この書紀は頼もしくない一方でいがらっぽい」ということは事実と異なる
事実8: もしも「この書紀は頼もしくないけれどいがらっぽい」ということは嘘であるとすると「消灯する」ということは間違っていない
事実9: この書紀が青系だとしたらいがらっぽい
事実10: 「この書紀は樹上でない一方で根強い」ということは成り立たない
事実11: この書紀は良し
事実12: 「この書紀はもたもたするしそれに戦闘諜報班である」ということは成り立たない
事実13: この書紀は及び難い
事実14: その静脈は頼もしい
事実15: この書紀は折れ易い

仮説: この書紀は消灯するし日本最高である
1. 事実8と事実7から、推論1: "この書紀は消灯する"が導かれる
2. 事実5と事実3から、推論2: "この書紀は日本最高である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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