あの通常学級は発色する
fact1: もしも「「そのＶ字軌道は甘ったれるけれど感応しない」ということは間違いでない」ということは成り立たないとしたらあの通常学級は発色する fact2: もしそのＶ字軌道は甘ったれるし感応するとするとそれは貧血であるということはない fact3: もしあの九十年代初頭は陳列すれば「それは発色するしそれは貧血でない」ということは成り立たない fact4: もしなんらかのものは甘ったれる一方で感応しないとすれば「それは貧血でない」ということは成り立つ fact5: もし仮に「あの九十年代初頭は発色するけれど貧血でない」ということは偽ならばあの通常学級は発色しない fact6: もし仮に何かは陳列するとすれば貧血である fact7: そのくのいちは陳列する fact8: もしも「「あの通常学級は存在すしそれに思慮深い」ということは成り立つということはない」ということは事実であるとすると貧血でない fact9: もしもなんらかの物が陳列するけれどそれが存在すということはないならば感応しない fact10: そのＶ字軌道は陳列するしまた存在す
fact4 -> int1: もしそのＶ字軌道は甘ったれるけど感応するということはないとしたらそれは貧血でない; void -> assump1: 以下のように仮定する。そのＶ字軌道は甘ったれるがしかしそれは感応しない; int1 & assump1 -> int2: そのＶ字軌道は貧血でない; fact6 -> int3: もしもそのＶ字軌道が陳列するとするとそれは貧血である; fact10 -> int4: そのＶ字軌道は陳列する; int3 & int4 -> int5: そのＶ字軌道は貧血だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのＶ字軌道は甘ったれるけれど感応しない」ということは本当でない; int7 & fact1 -> hypothesis;
そのくのいちは陳列するししかもすっごーい
$facts$ = fact1: もしも「「そのＶ字軌道は甘ったれるけれど感応しない」ということは間違いでない」ということは成り立たないとしたらあの通常学級は発色する fact2: もしそのＶ字軌道は甘ったれるし感応するとするとそれは貧血であるということはない fact3: もしあの九十年代初頭は陳列すれば「それは発色するしそれは貧血でない」ということは成り立たない fact4: もしなんらかのものは甘ったれる一方で感応しないとすれば「それは貧血でない」ということは成り立つ fact5: もし仮に「あの九十年代初頭は発色するけれど貧血でない」ということは偽ならばあの通常学級は発色しない fact6: もし仮に何かは陳列するとすれば貧血である fact7: そのくのいちは陳列する fact8: もしも「「あの通常学級は存在すしそれに思慮深い」ということは成り立つということはない」ということは事実であるとすると貧血でない fact9: もしもなんらかの物が陳列するけれどそれが存在すということはないならば感応しない fact10: そのＶ字軌道は陳列するしまた存在す ; $hypothesis$ = あの通常学級は発色する ; $proof$ = 
fact4 -> int1: もしそのＶ字軌道は甘ったれるけど感応するということはないとしたらそれは貧血でない; void -> assump1: 以下のように仮定する。そのＶ字軌道は甘ったれるがしかしそれは感応しない; int1 & assump1 -> int2: そのＶ字軌道は貧血でない; fact6 -> int3: もしもそのＶ字軌道が陳列するとするとそれは貧血である; fact10 -> int4: そのＶ字軌道は陳列する; int3 & int4 -> int5: そのＶ字軌道は貧血だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのＶ字軌道は甘ったれるけれど感応しない」ということは本当でない; int7 & fact1 -> hypothesis; __PROVED__
事実1: もしも「「そのＶ字軌道は甘ったれるけれど感応しない」ということは間違いでない」ということは成り立たないとしたらあの通常学級は発色する
事実2: もしそのＶ字軌道は甘ったれるし感応するとするとそれは貧血であるということはない
事実3: もしあの九十年代初頭は陳列すれば「それは発色するしそれは貧血でない」ということは成り立たない
事実4: もしなんらかのものは甘ったれる一方で感応しないとすれば「それは貧血でない」ということは成り立つ
事実5: もし仮に「あの九十年代初頭は発色するけれど貧血でない」ということは偽ならばあの通常学級は発色しない
事実6: もし仮に何かは陳列するとすれば貧血である
事実7: そのくのいちは陳列する
事実8: もしも「「あの通常学級は存在すしそれに思慮深い」ということは成り立つということはない」ということは事実であるとすると貧血でない
事実9: もしもなんらかの物が陳列するけれどそれが存在すということはないならば感応しない
事実10: そのＶ字軌道は陳列するしまた存在す

仮説: あの通常学級は発色する
1. 事実4から、推論1: "もしそのＶ字軌道は甘ったれるけど感応するということはないとしたらそれは貧血でない"が導かれる
2. 仮定1: 以下のように仮定する。そのＶ字軌道は甘ったれるがしかしそれは感応しない
3. 推論1と仮定1から、推論2: "そのＶ字軌道は貧血でない"が導かれる
4. 事実6から、推論3: "もしもそのＶ字軌道が陳列するとするとそれは貧血である"が導かれる
5. 事実10から、推論4: "そのＶ字軌道は陳列する"が導かれる
6. 推論3と推論4から、推論5: "そのＶ字軌道は貧血だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「そのＶ字軌道は甘ったれるけれど感応しない」ということは本当でない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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