「余所余所しいということはないならばアロケーションサイズでなくて弛み無くない」ものはある
fact1: もしこの練習テストが余所余所しかないならアロケーションサイズでなくて弛み無いということはない fact2: もしもこの練習テストは余所余所しかないなら「それは弛み無くない」ということは本当だ fact3: もし仮にそのトレーナーが弛み無いならばそれは変換出来なくてかつあざとくない fact4: 仮にこの練習テストが余所余所しいとすればそれはアロケーションサイズでないししかもそれは弛み無くない fact5: 「もし余所余所しいならばアロケーションサイズでなくて弛み無くない」物はある fact6: もしも「何かは旧小姓組番でない」ということは確かであるとするとそれは点検出来るということはないし弁済計画でない fact7: 「もしも行儀良くないとすればすうすうしないし手痛くない」物はある fact8: 仮にこの練習テストが余所余所しかないとすればアロケーションサイズだけれど弛み無いということはない fact9: 「もし仮に余所余所しいということはないとすれば「アロケーションサイズであるということはない」ということは成り立つ」ものはある fact10: 「もしも余所余所しかないとしたら「弛み無くない」ということは確かな」物はある fact11: 「もしも余所余所しいということはないとすればアロケーションサイズでないししかも弛み無い」物はある
fact1 -> hypothesis;
fact1 -> hypothesis;
仮にこの練習テストが旧小姓組番でないとしたら点検出来ないしその上それは弁済計画でない
fact12 -> hypothesis;
$facts$ = fact1: もしこの練習テストが余所余所しかないならアロケーションサイズでなくて弛み無いということはない fact2: もしもこの練習テストは余所余所しかないなら「それは弛み無くない」ということは本当だ fact3: もし仮にそのトレーナーが弛み無いならばそれは変換出来なくてかつあざとくない fact4: 仮にこの練習テストが余所余所しいとすればそれはアロケーションサイズでないししかもそれは弛み無くない fact5: 「もし余所余所しいならばアロケーションサイズでなくて弛み無くない」物はある fact6: もしも「何かは旧小姓組番でない」ということは確かであるとするとそれは点検出来るということはないし弁済計画でない fact7: 「もしも行儀良くないとすればすうすうしないし手痛くない」物はある fact8: 仮にこの練習テストが余所余所しかないとすればアロケーションサイズだけれど弛み無いということはない fact9: 「もし仮に余所余所しいということはないとすれば「アロケーションサイズであるということはない」ということは成り立つ」ものはある fact10: 「もしも余所余所しかないとしたら「弛み無くない」ということは確かな」物はある fact11: 「もしも余所余所しいということはないとすればアロケーションサイズでないししかも弛み無い」物はある ; $hypothesis$ = 「余所余所しいということはないならばアロケーションサイズでなくて弛み無くない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしこの練習テストが余所余所しかないならアロケーションサイズでなくて弛み無いということはない
事実2: もしもこの練習テストは余所余所しかないなら「それは弛み無くない」ということは本当だ
事実3: もし仮にそのトレーナーが弛み無いならばそれは変換出来なくてかつあざとくない
事実4: 仮にこの練習テストが余所余所しいとすればそれはアロケーションサイズでないししかもそれは弛み無くない
事実5: 「もし余所余所しいならばアロケーションサイズでなくて弛み無くない」物はある
事実6: もしも「何かは旧小姓組番でない」ということは確かであるとするとそれは点検出来るということはないし弁済計画でない
事実7: 「もしも行儀良くないとすればすうすうしないし手痛くない」物はある
事実8: 仮にこの練習テストが余所余所しかないとすればアロケーションサイズだけれど弛み無いということはない
事実9: 「もし仮に余所余所しいということはないとすれば「アロケーションサイズであるということはない」ということは成り立つ」ものはある
事実10: 「もしも余所余所しかないとしたら「弛み無くない」ということは確かな」物はある
事実11: 「もしも余所余所しいということはないとすればアロケーションサイズでないししかも弛み無い」物はある

仮説: 「余所余所しいということはないならばアロケーションサイズでなくて弛み無くない」ものはある
1. 事実1から、仮説が導かれる

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