「この集計ルールは流用出来る」ということは本当である
fact1: あるものはショック状態でないがしかし抉り回す fact2: 「抉り回すということはない」物はある fact3: もし仮になにかはショック状態でないしさらに抉り回さないとしたらこの集計ルールは流用出来る fact4: もしもあの完熟トマトが注進しないならばショック状態でないしそれに抉り回さない fact5: 仮に「その海洋深層水は流用出来るかもしくはループスである」ということは成り立たないとすればあの集計ルールはループスであるということはない fact6: その海洋深層水は急かないとすると「流用出来るかあるいはそれはループスであるかまたは両方ともである」ということは成り立たない fact7: 実務担当者は注進するけれど傾げない fact8: あの完熟トマトは注進するということはない fact9: 「ショック状態だがしかし抉り回さない」物はある fact10: 「ショック状態でない」ものはある fact11: この集計ルールがループスでないとしたらあの完熟トマトはループスでない fact12: あの完熟トマトは抉り回さない fact13: 仮にあの完熟トマトが注進しないならそれは抉り回さない
fact4 & fact8 -> int1: あの完熟トマトはショック状態でないし加えて抉り回すということはない; int1 -> int2: 何らかの物はショック状態でないしさらにそれは抉り回さない; int2 & fact3 -> hypothesis;
何らかの物は傾げないしループスでない
fact15 -> int3: あの完熟トマトが実務担当者であるならそれは注進するししかもそれは傾げない;
$facts$ = fact1: あるものはショック状態でないがしかし抉り回す fact2: 「抉り回すということはない」物はある fact3: もし仮になにかはショック状態でないしさらに抉り回さないとしたらこの集計ルールは流用出来る fact4: もしもあの完熟トマトが注進しないならばショック状態でないしそれに抉り回さない fact5: 仮に「その海洋深層水は流用出来るかもしくはループスである」ということは成り立たないとすればあの集計ルールはループスであるということはない fact6: その海洋深層水は急かないとすると「流用出来るかあるいはそれはループスであるかまたは両方ともである」ということは成り立たない fact7: 実務担当者は注進するけれど傾げない fact8: あの完熟トマトは注進するということはない fact9: 「ショック状態だがしかし抉り回さない」物はある fact10: 「ショック状態でない」ものはある fact11: この集計ルールがループスでないとしたらあの完熟トマトはループスでない fact12: あの完熟トマトは抉り回さない fact13: 仮にあの完熟トマトが注進しないならそれは抉り回さない ; $hypothesis$ = 「この集計ルールは流用出来る」ということは本当である ; $proof$ = 
fact4 & fact8 -> int1: あの完熟トマトはショック状態でないし加えて抉り回すということはない; int1 -> int2: 何らかの物はショック状態でないしさらにそれは抉り回さない; int2 & fact3 -> hypothesis; __PROVED__
事実1: あるものはショック状態でないがしかし抉り回す
事実2: 「抉り回すということはない」物はある
事実3: もし仮になにかはショック状態でないしさらに抉り回さないとしたらこの集計ルールは流用出来る
事実4: もしもあの完熟トマトが注進しないならばショック状態でないしそれに抉り回さない
事実5: 仮に「その海洋深層水は流用出来るかもしくはループスである」ということは成り立たないとすればあの集計ルールはループスであるということはない
事実6: その海洋深層水は急かないとすると「流用出来るかあるいはそれはループスであるかまたは両方ともである」ということは成り立たない
事実7: 実務担当者は注進するけれど傾げない
事実8: あの完熟トマトは注進するということはない
事実9: 「ショック状態だがしかし抉り回さない」物はある
事実10: 「ショック状態でない」ものはある
事実11: この集計ルールがループスでないとしたらあの完熟トマトはループスでない
事実12: あの完熟トマトは抉り回さない
事実13: 仮にあの完熟トマトが注進しないならそれは抉り回さない

仮説: 「この集計ルールは流用出来る」ということは本当である
1. 事実4と事実8から、推論1: "あの完熟トマトはショック状態でないし加えて抉り回すということはない"が導かれる
2. 推論1から、推論2: "何らかの物はショック状態でないしさらにそれは抉り回さない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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