あの経産牛乳量は責め殺すということはない
fact1: 「あの経産牛乳量は青臭いしおまけに自費出版する」ということは事実と異なる fact2: 仮にあの不干渉が抉り回さないならば測定すしメタルだ fact3: あの不干渉は抉り回さない fact4: メタルは捕食する fact5: あの経産牛乳量は包葉でない fact6: 「あの経産牛乳量は受け辛いしかつそれは伏せ止めする」ということは成り立たない fact7: もし「あの経産牛乳量は青臭くてそれに自費出版する」ということは成り立つということはないならば伏せ止めしない fact8: もしもなんらかのものが伏せ止めするということはないかあるいはそれは物憂いとしたら「責め殺さない」ということは本当だ
fact7 & fact1 -> int1: あの経産牛乳量は伏せ止めしない; int1 -> int2: あの経産牛乳量は伏せ止めしないかまたは物憂いかどちらもだ; fact8 -> int3: 仮にあの経産牛乳量が伏せ止めするということはないかまたは物憂いかまたは両方ともであるとすればそれは責め殺さない; int2 & int3 -> hypothesis;
あの経産牛乳量は責め殺す
fact9 -> int4: もし仮にあの不干渉はメタルだとすれば「それは捕食する」ということは本当だ; fact11 & fact10 -> int5: あの不干渉は測定すしメタルである; int5 -> int6: あの不干渉はメタルだ; int4 & int6 -> int7: あの不干渉は捕食する; int7 -> int8: 「捕食する」物はある;
$facts$ = fact1: 「あの経産牛乳量は青臭いしおまけに自費出版する」ということは事実と異なる fact2: 仮にあの不干渉が抉り回さないならば測定すしメタルだ fact3: あの不干渉は抉り回さない fact4: メタルは捕食する fact5: あの経産牛乳量は包葉でない fact6: 「あの経産牛乳量は受け辛いしかつそれは伏せ止めする」ということは成り立たない fact7: もし「あの経産牛乳量は青臭くてそれに自費出版する」ということは成り立つということはないならば伏せ止めしない fact8: もしもなんらかのものが伏せ止めするということはないかあるいはそれは物憂いとしたら「責め殺さない」ということは本当だ ; $hypothesis$ = あの経産牛乳量は責め殺すということはない ; $proof$ = 
fact7 & fact1 -> int1: あの経産牛乳量は伏せ止めしない; int1 -> int2: あの経産牛乳量は伏せ止めしないかまたは物憂いかどちらもだ; fact8 -> int3: 仮にあの経産牛乳量が伏せ止めするということはないかまたは物憂いかまたは両方ともであるとすればそれは責め殺さない; int2 & int3 -> hypothesis; __PROVED__
事実1: 「あの経産牛乳量は青臭いしおまけに自費出版する」ということは事実と異なる
事実2: 仮にあの不干渉が抉り回さないならば測定すしメタルだ
事実3: あの不干渉は抉り回さない
事実4: メタルは捕食する
事実5: あの経産牛乳量は包葉でない
事実6: 「あの経産牛乳量は受け辛いしかつそれは伏せ止めする」ということは成り立たない
事実7: もし「あの経産牛乳量は青臭くてそれに自費出版する」ということは成り立つということはないならば伏せ止めしない
事実8: もしもなんらかのものが伏せ止めするということはないかあるいはそれは物憂いとしたら「責め殺さない」ということは本当だ

仮説: あの経産牛乳量は責め殺すということはない
1. 事実7と事実1から、推論1: "あの経産牛乳量は伏せ止めしない"が導かれる
2. 推論1から、推論2: "あの経産牛乳量は伏せ止めしないかまたは物憂いかどちらもだ"が導かれる
3. 事実8から、推論3: "仮にあの経産牛乳量が伏せ止めするということはないかまたは物憂いかまたは両方ともであるとすればそれは責め殺さない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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