その義借用はドキュメンタリー講座だ
fact1: その次月は人間らしい fact2: そのスケール・メリットはドキュメンタリー講座だ fact3: この味付け以外がドキュメンタリー講座であるとするとその義借用は目玉焼きでない fact4: その義借用は死滅でない fact5: なにかは控訴出来るとすると「樅ぼっくりであるかもしくはそれは現代表記でない」ということは本当でない fact6: この味付け以外は樅ぼっくりでないなら「そのスケール・メリットは這いずり回るし甲・乙間である」ということは成り立つ fact7: 仮に「この味付け以外は目玉焼きでない」ということは正しいとするとその義借用はドキュメンタリー講座だ fact8: もし何かは人間らしいとするとその下げは属すかあるいは忙しい fact9: もしもとある物は目玉焼きだとすれば「死滅だしそれはドキュメンタリー講座でない」ということは正しいということはない fact10: もしもそのスケール・メリットが死滅であるとするとこの味付け以外は目玉焼きでない fact11: もし「この服制は樅ぼっくりであるかもしくは現代表記でないかもしくは両方ともだ」ということは間違いならばこの味付け以外は樅ぼっくりでない fact12: もしとあるものは這いずり回るとすると「それは死滅でないが目玉焼きだ」ということは成り立つということはない fact13: その下げが属せばこの服制は控訴出来る fact14: この味付け以外がドキュメンタリー講座でないならばその義借用は目玉焼きである fact15: もし仮にその義借用が目玉焼きであるということはないならばこの味付け以外はドキュメンタリー講座だ fact16: そのスケール・メリットは死滅だ fact17: その義借用は出火する fact18: この味付け以外はドキュメンタリー講座である fact19: この味付け以外はＩＴ関連だ
fact10 & fact16 -> int1: この味付け以外は目玉焼きでない; int1 & fact7 -> hypothesis;
fact10 & fact16 -> int1: ¬{B}{b}; int1 & fact7 -> hypothesis;
その義借用はドキュメンタリー講座でない
fact21 -> int2: もしそのスケール・メリットは這いずり回るとすれば「それは死滅でない一方で目玉焼きである」ということは成り立たない; fact24 -> int3: もしもこの服制は控訴出来れば「それは樅ぼっくりであるかそれは現代表記でないかまたは両方ともだ」ということは誤っている; fact22 -> int4: 人間らしいものはある; int4 & fact20 -> int5: その下げは属すかもしくは忙しい;
$facts$ = fact1: その次月は人間らしい fact2: そのスケール・メリットはドキュメンタリー講座だ fact3: この味付け以外がドキュメンタリー講座であるとするとその義借用は目玉焼きでない fact4: その義借用は死滅でない fact5: なにかは控訴出来るとすると「樅ぼっくりであるかもしくはそれは現代表記でない」ということは本当でない fact6: この味付け以外は樅ぼっくりでないなら「そのスケール・メリットは這いずり回るし甲・乙間である」ということは成り立つ fact7: 仮に「この味付け以外は目玉焼きでない」ということは正しいとするとその義借用はドキュメンタリー講座だ fact8: もし何かは人間らしいとするとその下げは属すかあるいは忙しい fact9: もしもとある物は目玉焼きだとすれば「死滅だしそれはドキュメンタリー講座でない」ということは正しいということはない fact10: もしもそのスケール・メリットが死滅であるとするとこの味付け以外は目玉焼きでない fact11: もし「この服制は樅ぼっくりであるかもしくは現代表記でないかもしくは両方ともだ」ということは間違いならばこの味付け以外は樅ぼっくりでない fact12: もしとあるものは這いずり回るとすると「それは死滅でないが目玉焼きだ」ということは成り立つということはない fact13: その下げが属せばこの服制は控訴出来る fact14: この味付け以外がドキュメンタリー講座でないならばその義借用は目玉焼きである fact15: もし仮にその義借用が目玉焼きであるということはないならばこの味付け以外はドキュメンタリー講座だ fact16: そのスケール・メリットは死滅だ fact17: その義借用は出火する fact18: この味付け以外はドキュメンタリー講座である fact19: この味付け以外はＩＴ関連だ ; $hypothesis$ = その義借用はドキュメンタリー講座だ ; $proof$ = 
fact10 & fact16 -> int1: この味付け以外は目玉焼きでない; int1 & fact7 -> hypothesis; __PROVED__
事実1: その次月は人間らしい
事実2: そのスケール・メリットはドキュメンタリー講座だ
事実3: この味付け以外がドキュメンタリー講座であるとするとその義借用は目玉焼きでない
事実4: その義借用は死滅でない
事実5: なにかは控訴出来るとすると「樅ぼっくりであるかもしくはそれは現代表記でない」ということは本当でない
事実6: この味付け以外は樅ぼっくりでないなら「そのスケール・メリットは這いずり回るし甲・乙間である」ということは成り立つ
事実7: 仮に「この味付け以外は目玉焼きでない」ということは正しいとするとその義借用はドキュメンタリー講座だ
事実8: もし何かは人間らしいとするとその下げは属すかあるいは忙しい
事実9: もしもとある物は目玉焼きだとすれば「死滅だしそれはドキュメンタリー講座でない」ということは正しいということはない
事実10: もしもそのスケール・メリットが死滅であるとするとこの味付け以外は目玉焼きでない
事実11: もし「この服制は樅ぼっくりであるかもしくは現代表記でないかもしくは両方ともだ」ということは間違いならばこの味付け以外は樅ぼっくりでない
事実12: もしとあるものは這いずり回るとすると「それは死滅でないが目玉焼きだ」ということは成り立つということはない
事実13: その下げが属せばこの服制は控訴出来る
事実14: この味付け以外がドキュメンタリー講座でないならばその義借用は目玉焼きである
事実15: もし仮にその義借用が目玉焼きであるということはないならばこの味付け以外はドキュメンタリー講座だ
事実16: そのスケール・メリットは死滅だ
事実17: その義借用は出火する
事実18: この味付け以外はドキュメンタリー講座である
事実19: この味付け以外はＩＴ関連だ

仮説: その義借用はドキュメンタリー講座だ
1. 事実10と事実16から、推論1: "この味付け以外は目玉焼きでない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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