あの人口・産業が円鏡だしそれは物らしい
fact1: もし仮にあるものは刺激し合わないならば「円鏡であるしそれに物らしい」ということは成り立たない fact2: 「この盟約は積肥だ」ということは本当であるとすれば悪業だということはないかあるいはそれは戦ぐかまたは両方ともだ fact3: もし仮になんらかの物は悪業だということはないかまたは戦ぐかどちらもだとしたら与え得る fact4: この盟約は誇らしくて更に積肥である fact5: あの人口・産業は物らしい fact6: 仮になにかは与え得るということはないとしたらそれは走り抜くしそれは忘れ難い fact7: あの人口・産業は円鏡である fact8: もし仮にこの盟約は罹り易いということはないし御宜しくないなら評価対象地である fact9: 仮にあの二大勢力が忘れ難いということはないとするとあの人口・産業は刺激し合わない一方で走り抜く fact10: もし仮に「なにがしかのものは刺激し合わないが円鏡である」ということは間違いならばそれは物らしい fact11: もしこの盟約が与え得るしそれが評価対象地であるならあの二大勢力は忘れ難いということはない
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
「あの人口・産業は円鏡であるしそれに物らしい」ということは誤っている
fact13 -> int1: もしもあの人口・産業は刺激し合わないとすれば「それが円鏡だし物らしい」ということは間違いである; fact18 -> int2: もしこの盟約が悪業でないかもしくは戦ぐとすればそれは与え得る; fact12 -> int3: この盟約は積肥である; fact16 & int3 -> int4: この盟約は悪業だということはないかそれは戦ぐ; int2 & int4 -> int5: この盟約は与え得る;
$facts$ = fact1: もし仮にあるものは刺激し合わないならば「円鏡であるしそれに物らしい」ということは成り立たない fact2: 「この盟約は積肥だ」ということは本当であるとすれば悪業だということはないかあるいはそれは戦ぐかまたは両方ともだ fact3: もし仮になんらかの物は悪業だということはないかまたは戦ぐかどちらもだとしたら与え得る fact4: この盟約は誇らしくて更に積肥である fact5: あの人口・産業は物らしい fact6: 仮になにかは与え得るということはないとしたらそれは走り抜くしそれは忘れ難い fact7: あの人口・産業は円鏡である fact8: もし仮にこの盟約は罹り易いということはないし御宜しくないなら評価対象地である fact9: 仮にあの二大勢力が忘れ難いということはないとするとあの人口・産業は刺激し合わない一方で走り抜く fact10: もし仮に「なにがしかのものは刺激し合わないが円鏡である」ということは間違いならばそれは物らしい fact11: もしこの盟約が与え得るしそれが評価対象地であるならあの二大勢力は忘れ難いということはない ; $hypothesis$ = あの人口・産業が円鏡だしそれは物らしい ; $proof$ = 
fact7 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあるものは刺激し合わないならば「円鏡であるしそれに物らしい」ということは成り立たない
事実2: 「この盟約は積肥だ」ということは本当であるとすれば悪業だということはないかあるいはそれは戦ぐかまたは両方ともだ
事実3: もし仮になんらかの物は悪業だということはないかまたは戦ぐかどちらもだとしたら与え得る
事実4: この盟約は誇らしくて更に積肥である
事実5: あの人口・産業は物らしい
事実6: 仮になにかは与え得るということはないとしたらそれは走り抜くしそれは忘れ難い
事実7: あの人口・産業は円鏡である
事実8: もし仮にこの盟約は罹り易いということはないし御宜しくないなら評価対象地である
事実9: 仮にあの二大勢力が忘れ難いということはないとするとあの人口・産業は刺激し合わない一方で走り抜く
事実10: もし仮に「なにがしかのものは刺激し合わないが円鏡である」ということは間違いならばそれは物らしい
事実11: もしこの盟約が与え得るしそれが評価対象地であるならあの二大勢力は忘れ難いということはない

仮説: あの人口・産業が円鏡だしそれは物らしい
1. 事実7と事実5から、仮説が導かれる

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