「そのアメーバはクラス別でない」ということは正しい
fact1: あの炭化物は御固くない fact2: その武田勢は乗っけるし評価・判断する fact3: もしその武田勢が評価・判断するしそれに争い事ならあの炭化物は吸い寄せない fact4: 仮に何かはピースワークであるしリリーフだとしたら「そのアメーバはクラス別だということはない」ということは確かだ fact5: その武田勢は縦糸断面である fact6: 「あの炭化物は画家達だ」ということは成り立つ fact7: あの炭化物が御固くないならばそれは罹患し易いししかもそれはリリーフである fact8: 仮にあの炭化物は画家達であるけど吸い寄せないならばそれはピースワークだ fact9: もしも「その武田勢は縦糸断面である」ということは確かであるとすると争い事である fact10: 仮に「なんらかの物は会計操作である」ということは正しいならばそれは御固い
fact2 -> int1: その武田勢は評価・判断する; fact5 & fact9 -> int2: 「その武田勢は争い事である」ということは成り立つ; int1 & int2 -> int3: その武田勢は評価・判断するしそれに争い事だ; int3 & fact3 -> int4: あの炭化物は吸い寄せない; int4 & fact6 -> int5: 「あの炭化物は画家達だがしかし吸い寄せない」ということは成り立つ; int5 & fact8 -> int6: あの炭化物はピースワークだ; fact7 & fact1 -> int7: あの炭化物が罹患し易いしその上それはリリーフである; int7 -> int8: あの炭化物はリリーフである; int6 & int8 -> int9: あの炭化物はピースワークだしその上リリーフである; int9 -> int10: 「ピースワークだしそれにリリーフである」物はある; int10 & fact4 -> hypothesis;
もしその分化度が会計操作なら御固い
fact11 -> hypothesis;
$facts$ = fact1: あの炭化物は御固くない fact2: その武田勢は乗っけるし評価・判断する fact3: もしその武田勢が評価・判断するしそれに争い事ならあの炭化物は吸い寄せない fact4: 仮に何かはピースワークであるしリリーフだとしたら「そのアメーバはクラス別だということはない」ということは確かだ fact5: その武田勢は縦糸断面である fact6: 「あの炭化物は画家達だ」ということは成り立つ fact7: あの炭化物が御固くないならばそれは罹患し易いししかもそれはリリーフである fact8: 仮にあの炭化物は画家達であるけど吸い寄せないならばそれはピースワークだ fact9: もしも「その武田勢は縦糸断面である」ということは確かであるとすると争い事である fact10: 仮に「なんらかの物は会計操作である」ということは正しいならばそれは御固い ; $hypothesis$ = 「そのアメーバはクラス別でない」ということは正しい ; $proof$ = 
fact2 -> int1: その武田勢は評価・判断する; fact5 & fact9 -> int2: 「その武田勢は争い事である」ということは成り立つ; int1 & int2 -> int3: その武田勢は評価・判断するしそれに争い事だ; int3 & fact3 -> int4: あの炭化物は吸い寄せない; int4 & fact6 -> int5: 「あの炭化物は画家達だがしかし吸い寄せない」ということは成り立つ; int5 & fact8 -> int6: あの炭化物はピースワークだ; fact7 & fact1 -> int7: あの炭化物が罹患し易いしその上それはリリーフである; int7 -> int8: あの炭化物はリリーフである; int6 & int8 -> int9: あの炭化物はピースワークだしその上リリーフである; int9 -> int10: 「ピースワークだしそれにリリーフである」物はある; int10 & fact4 -> hypothesis; __PROVED__
事実1: あの炭化物は御固くない
事実2: その武田勢は乗っけるし評価・判断する
事実3: もしその武田勢が評価・判断するしそれに争い事ならあの炭化物は吸い寄せない
事実4: 仮に何かはピースワークであるしリリーフだとしたら「そのアメーバはクラス別だということはない」ということは確かだ
事実5: その武田勢は縦糸断面である
事実6: 「あの炭化物は画家達だ」ということは成り立つ
事実7: あの炭化物が御固くないならばそれは罹患し易いししかもそれはリリーフである
事実8: 仮にあの炭化物は画家達であるけど吸い寄せないならばそれはピースワークだ
事実9: もしも「その武田勢は縦糸断面である」ということは確かであるとすると争い事である
事実10: 仮に「なんらかの物は会計操作である」ということは正しいならばそれは御固い

仮説: 「そのアメーバはクラス別でない」ということは正しい
1. 事実2から、推論1: "その武田勢は評価・判断する"が導かれる
2. 事実5と事実9から、推論2: "「その武田勢は争い事である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その武田勢は評価・判断するしそれに争い事だ"が導かれる
4. 推論3と事実3から、推論4: "あの炭化物は吸い寄せない"が導かれる
5. 推論4と事実6から、推論5: "「あの炭化物は画家達だがしかし吸い寄せない」ということは成り立つ"が導かれる
6. 推論5と事実8から、推論6: "あの炭化物はピースワークだ"が導かれる
7. 事実7と事実1から、推論7: "あの炭化物が罹患し易いしその上それはリリーフである"が導かれる
8. 推論7から、推論8: "あの炭化物はリリーフである"が導かれる
9. 推論6と推論8から、推論9: "あの炭化物はピースワークだしその上リリーフである"が導かれる
10. 推論9から、推論10: "「ピースワークだしそれにリリーフである」物はある"が導かれる
11. 推論10と事実4から、仮説が導かれる

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