この共同経営は反論出来るしそれにぼろい
fact1: 仮にこの卒業試験が修復工事であるとすると丸顔だということはなくてそれは取り掛かり易くない fact2: もし仮にこの共同経営が規則正しいとしたらぼろい fact3: もしこの卒業試験は丸顔であるということはなくて取り掛かり易くないとするとそれは一国内でない fact4: もしこの共同経営はコーチングであるなら反論出来る fact5: この共同経営は平たい fact6: 「この共同経営はコーチングである」ということは事実である fact7: もし仮にあるものは規則正しくないならば「それは反論出来るし加えてぼろい」ということは確かであるということはない fact8: この共同経営は復元出来るしおまけに話し難い fact9: そのデザイナーはコーチングだ fact10: このドライブ中は忍び踊りであるとすれば間断無い fact11: もしそのメモリ容量がコーチングであるかもしくは規則正しいならばこの共同経営は規則正しくない fact12: この共同経営は規則正しい fact13: もし仮にとあるものが一国内だということはないとするとそれは制限しないし加えて重巡であるということはない
fact2 & fact12 -> int1: この共同経営はぼろい; fact4 & fact6 -> int2: この共同経営は反論出来る; int1 & int2 -> hypothesis;
「この共同経営は反論出来るしぼろい」ということは成り立たない
fact15 -> int3: もし「この共同経営は規則正しいということはない」ということは正しいとしたら「それは反論出来るし更にぼろい」ということは誤りである; fact14 -> int4: もしこの卒業試験が一国内でないならそれは制限しないしそれに重巡でない;
$facts$ = fact1: 仮にこの卒業試験が修復工事であるとすると丸顔だということはなくてそれは取り掛かり易くない fact2: もし仮にこの共同経営が規則正しいとしたらぼろい fact3: もしこの卒業試験は丸顔であるということはなくて取り掛かり易くないとするとそれは一国内でない fact4: もしこの共同経営はコーチングであるなら反論出来る fact5: この共同経営は平たい fact6: 「この共同経営はコーチングである」ということは事実である fact7: もし仮にあるものは規則正しくないならば「それは反論出来るし加えてぼろい」ということは確かであるということはない fact8: この共同経営は復元出来るしおまけに話し難い fact9: そのデザイナーはコーチングだ fact10: このドライブ中は忍び踊りであるとすれば間断無い fact11: もしそのメモリ容量がコーチングであるかもしくは規則正しいならばこの共同経営は規則正しくない fact12: この共同経営は規則正しい fact13: もし仮にとあるものが一国内だということはないとするとそれは制限しないし加えて重巡であるということはない ; $hypothesis$ = この共同経営は反論出来るしそれにぼろい ; $proof$ = 
fact2 & fact12 -> int1: この共同経営はぼろい; fact4 & fact6 -> int2: この共同経営は反論出来る; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの卒業試験が修復工事であるとすると丸顔だということはなくてそれは取り掛かり易くない
事実2: もし仮にこの共同経営が規則正しいとしたらぼろい
事実3: もしこの卒業試験は丸顔であるということはなくて取り掛かり易くないとするとそれは一国内でない
事実4: もしこの共同経営はコーチングであるなら反論出来る
事実5: この共同経営は平たい
事実6: 「この共同経営はコーチングである」ということは事実である
事実7: もし仮にあるものは規則正しくないならば「それは反論出来るし加えてぼろい」ということは確かであるということはない
事実8: この共同経営は復元出来るしおまけに話し難い
事実9: そのデザイナーはコーチングだ
事実10: このドライブ中は忍び踊りであるとすれば間断無い
事実11: もしそのメモリ容量がコーチングであるかもしくは規則正しいならばこの共同経営は規則正しくない
事実12: この共同経営は規則正しい
事実13: もし仮にとあるものが一国内だということはないとするとそれは制限しないし加えて重巡であるということはない

仮説: この共同経営は反論出来るしそれにぼろい
1. 事実2と事実12から、推論1: "この共同経営はぼろい"が導かれる
2. 事実4と事実6から、推論2: "この共同経営は反論出来る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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