この利益集団は人物像でない
fact1: 「あのメインフレームは人物像でない」ということは事実だ fact2: あの酢水は注ぎ始める fact3: あのメインフレームは決定版である fact4: あのＮ特性条件は任じない fact5: もしなんらかの物が刮目するとしたら振動加速度である fact6: もしもあのＮ特性条件が任じるということはないとしたらあの酢水は注ぎ始めるけれど十五パーセント以上でない fact7: 「あのメインフレームは十五パーセント以上であるしまた振動加速度だ」ということは成り立たないならばこの利益集団は人物像でない fact8: もしあの酢水は十五パーセント以上でないなら「あのメインフレームは十五パーセント以上だしさらに振動加速度だ」ということは嘘である fact9: 「あのＮ特性条件は任じるということはない」ということは成り立つならばあの酢水は注ぎ始める fact10: もしも「この利益集団は十五パーセント以上であるしおまけに人物像だ」ということは成り立たないならあのメインフレームは注ぎ始めない fact11: もしもあのメインフレームが振動加速度でないとするとこの利益集団は人物像でない fact12: この利益集団は振動加速度でない fact13: 決定版はロスト・メモリーズでないしかつ此度でない fact14: 仮にある物がロスト・メモリーズでなくてそれが此度でないならあの酢水は刮目する fact15: その九百人は任じない fact16: あのＮ特性条件が人物像であるとすればこの利益集団は人物像である
fact6 & fact4 -> int1: あの酢水は注ぎ始めるがしかし十五パーセント以上でない; int1 -> int2: あの酢水は十五パーセント以上でない; int2 & fact8 -> int3: 「「あのメインフレームは十五パーセント以上であるし振動加速度だ」ということは成り立たない」ということは成り立つ; int3 & fact7 -> hypothesis;
「この利益集団は人物像だ」ということは成り立つ
fact20 -> int4: あの酢水が刮目するとしたら振動加速度である; fact19 -> int5: もしもあのメインフレームは決定版であるとするとロスト・メモリーズでないし更に此度だということはない; int5 & fact21 -> int6: あのメインフレームはロスト・メモリーズでないしかつ此度でない; int6 -> int7: 「ロスト・メモリーズでないししかも此度でない」ものはある; int7 & fact17 -> int8: あの酢水は刮目する; int4 & int8 -> int9: あの酢水は振動加速度だ; int9 -> int10: 「振動加速度である」ものはある;
$facts$ = fact1: 「あのメインフレームは人物像でない」ということは事実だ fact2: あの酢水は注ぎ始める fact3: あのメインフレームは決定版である fact4: あのＮ特性条件は任じない fact5: もしなんらかの物が刮目するとしたら振動加速度である fact6: もしもあのＮ特性条件が任じるということはないとしたらあの酢水は注ぎ始めるけれど十五パーセント以上でない fact7: 「あのメインフレームは十五パーセント以上であるしまた振動加速度だ」ということは成り立たないならばこの利益集団は人物像でない fact8: もしあの酢水は十五パーセント以上でないなら「あのメインフレームは十五パーセント以上だしさらに振動加速度だ」ということは嘘である fact9: 「あのＮ特性条件は任じるということはない」ということは成り立つならばあの酢水は注ぎ始める fact10: もしも「この利益集団は十五パーセント以上であるしおまけに人物像だ」ということは成り立たないならあのメインフレームは注ぎ始めない fact11: もしもあのメインフレームが振動加速度でないとするとこの利益集団は人物像でない fact12: この利益集団は振動加速度でない fact13: 決定版はロスト・メモリーズでないしかつ此度でない fact14: 仮にある物がロスト・メモリーズでなくてそれが此度でないならあの酢水は刮目する fact15: その九百人は任じない fact16: あのＮ特性条件が人物像であるとすればこの利益集団は人物像である ; $hypothesis$ = この利益集団は人物像でない ; $proof$ = 
fact6 & fact4 -> int1: あの酢水は注ぎ始めるがしかし十五パーセント以上でない; int1 -> int2: あの酢水は十五パーセント以上でない; int2 & fact8 -> int3: 「「あのメインフレームは十五パーセント以上であるし振動加速度だ」ということは成り立たない」ということは成り立つ; int3 & fact7 -> hypothesis; __PROVED__
事実1: 「あのメインフレームは人物像でない」ということは事実だ
事実2: あの酢水は注ぎ始める
事実3: あのメインフレームは決定版である
事実4: あのＮ特性条件は任じない
事実5: もしなんらかの物が刮目するとしたら振動加速度である
事実6: もしもあのＮ特性条件が任じるということはないとしたらあの酢水は注ぎ始めるけれど十五パーセント以上でない
事実7: 「あのメインフレームは十五パーセント以上であるしまた振動加速度だ」ということは成り立たないならばこの利益集団は人物像でない
事実8: もしあの酢水は十五パーセント以上でないなら「あのメインフレームは十五パーセント以上だしさらに振動加速度だ」ということは嘘である
事実9: 「あのＮ特性条件は任じるということはない」ということは成り立つならばあの酢水は注ぎ始める
事実10: もしも「この利益集団は十五パーセント以上であるしおまけに人物像だ」ということは成り立たないならあのメインフレームは注ぎ始めない
事実11: もしもあのメインフレームが振動加速度でないとするとこの利益集団は人物像でない
事実12: この利益集団は振動加速度でない
事実13: 決定版はロスト・メモリーズでないしかつ此度でない
事実14: 仮にある物がロスト・メモリーズでなくてそれが此度でないならあの酢水は刮目する
事実15: その九百人は任じない
事実16: あのＮ特性条件が人物像であるとすればこの利益集団は人物像である

仮説: この利益集団は人物像でない
1. 事実6と事実4から、推論1: "あの酢水は注ぎ始めるがしかし十五パーセント以上でない"が導かれる
2. 推論1から、推論2: "あの酢水は十五パーセント以上でない"が導かれる
3. 推論2と事実8から、推論3: "「「あのメインフレームは十五パーセント以上であるし振動加速度だ」ということは成り立たない」ということは成り立つ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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