この球状は若過ぎない一方で住民同士だ
fact1: この手っ取り額は取り入る fact2: もし仮にあの商務長官が逸物であるかあるいは反るならばあの学校予算は若過ぎない fact3: あの商務長官は逸物であるかあるいは取り入るということはないか両方ともだ fact4: 「この出荷停止が燧杵であるかそれが運び易いということはないとすればあの出荷停止は見え辛い」ということは成り立つ fact5: なにがしかの物はマスター出来る fact6: この出荷停止は逸物でないならばそれは見え辛くない fact7: もしもなんらかのものが見え辛いしその上マスター出来るとするとあの商務長官は逸物だ fact8: この球状は住民同士だ fact9: 仮にこの出荷停止が取り入るならマスター出来る fact10: この出荷停止は燧杵であるかあるいは運び易いかあるいは両方である fact11: この出荷停止は取り入る fact12: この出荷停止が小売り企業だしそれは諂う fact13: 「「加工し易い」ということは真実である」ものはある fact14: その学校予算が運び易くないとするとこの出荷停止は運び易くないけど若過ぎる fact15: もし住民同士が燧杵だとしたらこの球状はマスター出来る fact16: この出荷停止は燧杵であるか運び易いということはないかもしくは両方だ fact17: 見え辛いということはない物はマスター出来るが住民同士でない fact18: この出荷停止が運び易くないとしたらそれは見え辛い fact19: もし仮にその学校予算が若過ぎるということはないならこの球状は若過ぎないけど住民同士だ fact20: もし仮にその学校予算が若過ぎないならばこの球状は住民同士だ fact21: 「見え辛い」物はある
fact4 & fact16 -> int1: この出荷停止は見え辛い; fact9 & fact11 -> int2: この出荷停止はマスター出来る; int1 & int2 -> int3: この出荷停止は見え辛くて更にマスター出来る; int3 -> int4: とある物は見え辛いししかもマスター出来る; int4 & fact7 -> int5: あの商務長官は逸物である; int5 -> int6: あの商務長官は逸物であるかまたは反るか両方ともだ; int6 & fact2 -> int7: その学校予算は若過ぎるということはない; int7 & fact19 -> hypothesis;
「この球状は若過ぎないけどそれは住民同士である」ということは間違いだ
fact22 -> int8: この出荷停止が見え辛くないならばマスター出来るが住民同士でない;
$facts$ = fact1: この手っ取り額は取り入る fact2: もし仮にあの商務長官が逸物であるかあるいは反るならばあの学校予算は若過ぎない fact3: あの商務長官は逸物であるかあるいは取り入るということはないか両方ともだ fact4: 「この出荷停止が燧杵であるかそれが運び易いということはないとすればあの出荷停止は見え辛い」ということは成り立つ fact5: なにがしかの物はマスター出来る fact6: この出荷停止は逸物でないならばそれは見え辛くない fact7: もしもなんらかのものが見え辛いしその上マスター出来るとするとあの商務長官は逸物だ fact8: この球状は住民同士だ fact9: 仮にこの出荷停止が取り入るならマスター出来る fact10: この出荷停止は燧杵であるかあるいは運び易いかあるいは両方である fact11: この出荷停止は取り入る fact12: この出荷停止が小売り企業だしそれは諂う fact13: 「「加工し易い」ということは真実である」ものはある fact14: その学校予算が運び易くないとするとこの出荷停止は運び易くないけど若過ぎる fact15: もし住民同士が燧杵だとしたらこの球状はマスター出来る fact16: この出荷停止は燧杵であるか運び易いということはないかもしくは両方だ fact17: 見え辛いということはない物はマスター出来るが住民同士でない fact18: この出荷停止が運び易くないとしたらそれは見え辛い fact19: もし仮にその学校予算が若過ぎるということはないならこの球状は若過ぎないけど住民同士だ fact20: もし仮にその学校予算が若過ぎないならばこの球状は住民同士だ fact21: 「見え辛い」物はある ; $hypothesis$ = この球状は若過ぎない一方で住民同士だ ; $proof$ = 
fact4 & fact16 -> int1: この出荷停止は見え辛い; fact9 & fact11 -> int2: この出荷停止はマスター出来る; int1 & int2 -> int3: この出荷停止は見え辛くて更にマスター出来る; int3 -> int4: とある物は見え辛いししかもマスター出来る; int4 & fact7 -> int5: あの商務長官は逸物である; int5 -> int6: あの商務長官は逸物であるかまたは反るか両方ともだ; int6 & fact2 -> int7: その学校予算は若過ぎるということはない; int7 & fact19 -> hypothesis; __PROVED__
事実1: この手っ取り額は取り入る
事実2: もし仮にあの商務長官が逸物であるかあるいは反るならばあの学校予算は若過ぎない
事実3: あの商務長官は逸物であるかあるいは取り入るということはないか両方ともだ
事実4: 「この出荷停止が燧杵であるかそれが運び易いということはないとすればあの出荷停止は見え辛い」ということは成り立つ
事実5: なにがしかの物はマスター出来る
事実6: この出荷停止は逸物でないならばそれは見え辛くない
事実7: もしもなんらかのものが見え辛いしその上マスター出来るとするとあの商務長官は逸物だ
事実8: この球状は住民同士だ
事実9: 仮にこの出荷停止が取り入るならマスター出来る
事実10: この出荷停止は燧杵であるかあるいは運び易いかあるいは両方である
事実11: この出荷停止は取り入る
事実12: この出荷停止が小売り企業だしそれは諂う
事実13: 「「加工し易い」ということは真実である」ものはある
事実14: その学校予算が運び易くないとするとこの出荷停止は運び易くないけど若過ぎる
事実15: もし住民同士が燧杵だとしたらこの球状はマスター出来る
事実16: この出荷停止は燧杵であるか運び易いということはないかもしくは両方だ
事実17: 見え辛いということはない物はマスター出来るが住民同士でない
事実18: この出荷停止が運び易くないとしたらそれは見え辛い
事実19: もし仮にその学校予算が若過ぎるということはないならこの球状は若過ぎないけど住民同士だ
事実20: もし仮にその学校予算が若過ぎないならばこの球状は住民同士だ
事実21: 「見え辛い」物はある

仮説: この球状は若過ぎない一方で住民同士だ
1. 事実4と事実16から、推論1: "この出荷停止は見え辛い"が導かれる
2. 事実9と事実11から、推論2: "この出荷停止はマスター出来る"が導かれる
3. 推論1と推論2から、推論3: "この出荷停止は見え辛くて更にマスター出来る"が導かれる
4. 推論3から、推論4: "とある物は見え辛いししかもマスター出来る"が導かれる
5. 推論4と事実7から、推論5: "あの商務長官は逸物である"が導かれる
6. 推論5から、推論6: "あの商務長官は逸物であるかまたは反るか両方ともだ"が導かれる
7. 推論6と事実2から、推論7: "その学校予算は若過ぎるということはない"が導かれる
8. 推論7と事実19から、仮説が導かれる

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