あのモン・オカザキはＴシャツ男でそれは御悪い
fact1: 「この時価主義は恐れ多いが試験問題でない」ということは成り立たない fact2: この単色は内示するということはない fact3: 「この金剛界は内示する」ということは確かだ fact4: もし仮に「この茴香は昇進であるししかもそれは締め上げる」ということは事実であるとするとそれは上昇トレンドでない fact5: この茴香は内示するということはない fact6: もしもこの金剛界が御悪くないとしたらあのモン・オカザキがＴシャツ男だしそれは御悪い fact7: もし「この時価主義は恐れ多い一方で試験問題でない」ということは真実でないならこの茴香はしょぼい fact8: もしも「内示するということはないしまた上昇トレンドでない」物があるとしたらこの金剛界は御悪くない fact9: この茴香は締め上げる fact10: 仮になにかはしょぼいとしたらそれは昇進である
fact7 & fact1 -> int1: この茴香はしょぼい; fact10 -> int2: 仮にこの茴香がしょぼいとすればそれは昇進だ; int1 & int2 -> int3: 「この茴香は昇進である」ということは確かである; int3 & fact9 -> int4: この茴香は昇進だしまた締め上げる; int4 & fact4 -> int5: この茴香は上昇トレンドでない; int5 & fact5 -> int6: この茴香は内示しないしかつそれは上昇トレンドでない; int6 -> int7: 「内示しなくてかつ上昇トレンドでない」ものはある; int7 & fact8 -> int8: この金剛界は御悪くない; int8 & fact6 -> hypothesis;
$facts$ = fact1: 「この時価主義は恐れ多いが試験問題でない」ということは成り立たない fact2: この単色は内示するということはない fact3: 「この金剛界は内示する」ということは確かだ fact4: もし仮に「この茴香は昇進であるししかもそれは締め上げる」ということは事実であるとするとそれは上昇トレンドでない fact5: この茴香は内示するということはない fact6: もしもこの金剛界が御悪くないとしたらあのモン・オカザキがＴシャツ男だしそれは御悪い fact7: もし「この時価主義は恐れ多い一方で試験問題でない」ということは真実でないならこの茴香はしょぼい fact8: もしも「内示するということはないしまた上昇トレンドでない」物があるとしたらこの金剛界は御悪くない fact9: この茴香は締め上げる fact10: 仮になにかはしょぼいとしたらそれは昇進である ; $hypothesis$ = あのモン・オカザキはＴシャツ男でそれは御悪い ; $proof$ = 
fact7 & fact1 -> int1: この茴香はしょぼい; fact10 -> int2: 仮にこの茴香がしょぼいとすればそれは昇進だ; int1 & int2 -> int3: 「この茴香は昇進である」ということは確かである; int3 & fact9 -> int4: この茴香は昇進だしまた締め上げる; int4 & fact4 -> int5: この茴香は上昇トレンドでない; int5 & fact5 -> int6: この茴香は内示しないしかつそれは上昇トレンドでない; int6 -> int7: 「内示しなくてかつ上昇トレンドでない」ものはある; int7 & fact8 -> int8: この金剛界は御悪くない; int8 & fact6 -> hypothesis; __PROVED__
事実1: 「この時価主義は恐れ多いが試験問題でない」ということは成り立たない
事実2: この単色は内示するということはない
事実3: 「この金剛界は内示する」ということは確かだ
事実4: もし仮に「この茴香は昇進であるししかもそれは締め上げる」ということは事実であるとするとそれは上昇トレンドでない
事実5: この茴香は内示するということはない
事実6: もしもこの金剛界が御悪くないとしたらあのモン・オカザキがＴシャツ男だしそれは御悪い
事実7: もし「この時価主義は恐れ多い一方で試験問題でない」ということは真実でないならこの茴香はしょぼい
事実8: もしも「内示するということはないしまた上昇トレンドでない」物があるとしたらこの金剛界は御悪くない
事実9: この茴香は締め上げる
事実10: 仮になにかはしょぼいとしたらそれは昇進である

仮説: あのモン・オカザキはＴシャツ男でそれは御悪い
1. 事実7と事実1から、推論1: "この茴香はしょぼい"が導かれる
2. 事実10から、推論2: "仮にこの茴香がしょぼいとすればそれは昇進だ"が導かれる
3. 推論1と推論2から、推論3: "「この茴香は昇進である」ということは確かである"が導かれる
4. 推論3と事実9から、推論4: "この茴香は昇進だしまた締め上げる"が導かれる
5. 推論4と事実4から、推論5: "この茴香は上昇トレンドでない"が導かれる
6. 推論5と事実5から、推論6: "この茴香は内示しないしかつそれは上昇トレンドでない"が導かれる
7. 推論6から、推論7: "「内示しなくてかつ上昇トレンドでない」ものはある"が導かれる
8. 推論7と事実8から、推論8: "この金剛界は御悪くない"が導かれる
9. 推論8と事実6から、仮説が導かれる

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