その第二言語はリットン報告書でない
fact1: もし仮に何かは飼えるし入札心得であるならそれはリットン報告書でない fact2: その頭蝨は入札心得でない fact3: 「与え合うかあるいは入札心得であるかあるいはどちらもな」ものはある fact4: 何かは発色剤でないならば「「それは使い辛くないしそれはサアイである」ということは成り立つ」ということは成り立たない fact5: もし「「そのバーラーチャッティー郡マンファル村生まれは使い辛くないしおまけにそれはサアイでない」ということは成り立つということはない」ということは真実であるとするとあのマンは発色剤でない fact6: あのマンが高ぶり過ぎないとするとそのバーラーチャッティー郡マンファル村生まれは僕でないし加えて発色剤でない fact7: もし仮にある物は発色剤でないとしたら「それは僕であるし高ぶり過ぎる」ということは正しくない fact8: もしも「「僕だしそれに高ぶり過ぎる」ということは誤っている」ものがあるならその第二言語は飼える fact9: もしもなんらかのものが与え合うかまたは入札心得ならその第二言語は入札心得である fact10: そのバーラーチャッティー郡マンファル村生まれは使い辛い
void -> assump1: 以下のように仮定する。そのバーラーチャッティー郡マンファル村生まれは使い辛いということはなくてかつサアイでない; assump1 -> int1: そのバーラーチャッティー郡マンファル村生まれは使い辛くない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのバーラーチャッティー郡マンファル村生まれは使い辛くなくてサアイでない」ということは成り立たない; int3 & fact5 -> int4: あのマンは発色剤でない; fact7 -> int5: 「あのマンは発色剤でない」ということは成り立つとすれば「それは僕で高ぶり過ぎる」ということは間違っている; int4 & int5 -> int6: 「「あのマンは僕であるしおまけに高ぶり過ぎる」ということは正しい」ということは誤りである; int6 -> int7: 「「僕であるし高ぶり過ぎる」ということは誤っている」ものはある; int7 & fact8 -> int8: その第二言語は飼える; fact3 & fact9 -> int9: その第二言語は入札心得だ; int8 & int9 -> int10: その第二言語は飼えるし入札心得だ; fact1 -> int11: もしその第二言語が飼えるしその上それは入札心得であるとしたらそれはリットン報告書でない; int10 & int11 -> hypothesis;
その第二言語はリットン報告書だ
fact11 -> int12: もしも「そのバーラーチャッティー郡マンファル村生まれは発色剤でない」ということは真実であるとすると「それは使い辛くないけどサアイである」ということは成り立たない;
$facts$ = fact1: もし仮に何かは飼えるし入札心得であるならそれはリットン報告書でない fact2: その頭蝨は入札心得でない fact3: 「与え合うかあるいは入札心得であるかあるいはどちらもな」ものはある fact4: 何かは発色剤でないならば「「それは使い辛くないしそれはサアイである」ということは成り立つ」ということは成り立たない fact5: もし「「そのバーラーチャッティー郡マンファル村生まれは使い辛くないしおまけにそれはサアイでない」ということは成り立つということはない」ということは真実であるとするとあのマンは発色剤でない fact6: あのマンが高ぶり過ぎないとするとそのバーラーチャッティー郡マンファル村生まれは僕でないし加えて発色剤でない fact7: もし仮にある物は発色剤でないとしたら「それは僕であるし高ぶり過ぎる」ということは正しくない fact8: もしも「「僕だしそれに高ぶり過ぎる」ということは誤っている」ものがあるならその第二言語は飼える fact9: もしもなんらかのものが与え合うかまたは入札心得ならその第二言語は入札心得である fact10: そのバーラーチャッティー郡マンファル村生まれは使い辛い ; $hypothesis$ = その第二言語はリットン報告書でない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのバーラーチャッティー郡マンファル村生まれは使い辛いということはなくてかつサアイでない; assump1 -> int1: そのバーラーチャッティー郡マンファル村生まれは使い辛くない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのバーラーチャッティー郡マンファル村生まれは使い辛くなくてサアイでない」ということは成り立たない; int3 & fact5 -> int4: あのマンは発色剤でない; fact7 -> int5: 「あのマンは発色剤でない」ということは成り立つとすれば「それは僕で高ぶり過ぎる」ということは間違っている; int4 & int5 -> int6: 「「あのマンは僕であるしおまけに高ぶり過ぎる」ということは正しい」ということは誤りである; int6 -> int7: 「「僕であるし高ぶり過ぎる」ということは誤っている」ものはある; int7 & fact8 -> int8: その第二言語は飼える; fact3 & fact9 -> int9: その第二言語は入札心得だ; int8 & int9 -> int10: その第二言語は飼えるし入札心得だ; fact1 -> int11: もしその第二言語が飼えるしその上それは入札心得であるとしたらそれはリットン報告書でない; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮に何かは飼えるし入札心得であるならそれはリットン報告書でない
事実2: その頭蝨は入札心得でない
事実3: 「与え合うかあるいは入札心得であるかあるいはどちらもな」ものはある
事実4: 何かは発色剤でないならば「「それは使い辛くないしそれはサアイである」ということは成り立つ」ということは成り立たない
事実5: もし「「そのバーラーチャッティー郡マンファル村生まれは使い辛くないしおまけにそれはサアイでない」ということは成り立つということはない」ということは真実であるとするとあのマンは発色剤でない
事実6: あのマンが高ぶり過ぎないとするとそのバーラーチャッティー郡マンファル村生まれは僕でないし加えて発色剤でない
事実7: もし仮にある物は発色剤でないとしたら「それは僕であるし高ぶり過ぎる」ということは正しくない
事実8: もしも「「僕だしそれに高ぶり過ぎる」ということは誤っている」ものがあるならその第二言語は飼える
事実9: もしもなんらかのものが与え合うかまたは入札心得ならその第二言語は入札心得である
事実10: そのバーラーチャッティー郡マンファル村生まれは使い辛い

仮説: その第二言語はリットン報告書でない
1. 仮定1: 以下のように仮定する。そのバーラーチャッティー郡マンファル村生まれは使い辛いということはなくてかつサアイでない
2. 仮定1から、推論1: "そのバーラーチャッティー郡マンファル村生まれは使い辛くない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのバーラーチャッティー郡マンファル村生まれは使い辛くなくてサアイでない」ということは成り立たない"が導かれる
5. 推論3と事実5から、推論4: "あのマンは発色剤でない"が導かれる
6. 事実7から、推論5: "「あのマンは発色剤でない」ということは成り立つとすれば「それは僕で高ぶり過ぎる」ということは間違っている"が導かれる
7. 推論4と推論5から、推論6: "「「あのマンは僕であるしおまけに高ぶり過ぎる」ということは正しい」ということは誤りである"が導かれる
8. 推論6から、推論7: "「「僕であるし高ぶり過ぎる」ということは誤っている」ものはある"が導かれる
9. 推論7と事実8から、推論8: "その第二言語は飼える"が導かれる
10. 事実3と事実9から、推論9: "その第二言語は入札心得だ"が導かれる
11. 推論8と推論9から、推論10: "その第二言語は飼えるし入札心得だ"が導かれる
12. 事実1から、推論11: "もしその第二言語が飼えるしその上それは入札心得であるとしたらそれはリットン報告書でない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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