その平屋は要求性能だ
fact1: 「その筋組織は厚かましくて更に十倍する」ということは偽である fact2: もしあのマカラが固いとしたらあの後ろ前はビタミンＤ三代謝産物でない fact3: 仮に「その平屋は要求性能だ一方で期末棚卸し資産でない」ということは事実でないとすると厚かましくない fact4: あのマカラは要求性能だということはない fact5: もしその嫌悪感がビタミンＤ三代謝産物でないとするとあの後ろ前は歴史的価値だ fact6: あの電気双極子が強姦するとするとその筋組織は十倍する fact7: あの電気双極子はトーンカーブである fact8: 仮に「その筋組織は固い一方でビタミンＤ三代謝産物でない」ということは誤りであるなら歴史的価値であるということはない fact9: その嫌悪感が邪魔臭くないとすればその平屋は歴史的価値でない一方で要求性能だ fact10: 「その筋組織は直系卑属であるけど期末棚卸し資産だということはない」ということは成り立たない fact11: あの電気双極子は期末棚卸し資産でない fact12: 「その筋組織は直系卑属だが期末棚卸し資産でない」ということは成り立たないならばそれは十倍しない fact13: 「その筋組織は十倍するしおまけにそれはビタミンＤ三代謝産物である」ということは誤っている fact14: あの後ろ前は厚かましい fact15: 「もしその筋組織が歴史的価値でないとするとその筋組織は邪魔臭くて厚かましい」ということは事実と異ならない fact16: 「もしその平屋が邪魔臭くないとすればその筋組織は期末棚卸し資産でないが要求性能だ」ということは本当だ fact17: その筋組織は固いとしたら「あのマカラは十倍しない」ということは真実だ fact18: もしあの電気双極子が強姦しないならばその消費者問題は邪魔臭くない fact19: 仮にあの後ろ前がビタミンＤ三代謝産物でないとするとその平屋は要求性能だ fact20: その嫌悪感は期末棚卸し資産でないがしかし厚かましい fact21: もしあのマカラが固いならそれは歴史的価値でない fact22: もしあの電気双極子は固いということはないけど強姦すれば「あのマカラは厚かましい」ということは正しい fact23: 仮にその嫌悪感が歴史的価値でないけれど厚かましいとしたらあのマカラは固い fact24: もし仮にあの電気双極子が強姦するし更に厚かましいとすればその消費者問題は邪魔臭い fact25: その嫌悪感は期末棚卸し資産でない fact26: もしもその消費者問題が邪魔臭いということはないとすればその嫌悪感は歴史的価値でないがそれは厚かましい
void -> assump1: 以下のように仮定する。あの電気双極子は強姦する; fact6 & assump1 -> int1: その筋組織は十倍する; fact10 & fact12 -> int2: その筋組織は十倍しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの電気双極子は強姦しない」ということは成り立つ; int4 & fact18 -> int5: その消費者問題は邪魔臭くない; int5 & fact26 -> int6: その嫌悪感は歴史的価値でないけれど厚かましい; int6 & fact23 -> int7: あのマカラは固い; int7 & fact2 -> int8: あの後ろ前はビタミンＤ三代謝産物でない; int8 & fact19 -> hypothesis;
「その平屋は要求性能でない」ということは本当だ
$facts$ = fact1: 「その筋組織は厚かましくて更に十倍する」ということは偽である fact2: もしあのマカラが固いとしたらあの後ろ前はビタミンＤ三代謝産物でない fact3: 仮に「その平屋は要求性能だ一方で期末棚卸し資産でない」ということは事実でないとすると厚かましくない fact4: あのマカラは要求性能だということはない fact5: もしその嫌悪感がビタミンＤ三代謝産物でないとするとあの後ろ前は歴史的価値だ fact6: あの電気双極子が強姦するとするとその筋組織は十倍する fact7: あの電気双極子はトーンカーブである fact8: 仮に「その筋組織は固い一方でビタミンＤ三代謝産物でない」ということは誤りであるなら歴史的価値であるということはない fact9: その嫌悪感が邪魔臭くないとすればその平屋は歴史的価値でない一方で要求性能だ fact10: 「その筋組織は直系卑属であるけど期末棚卸し資産だということはない」ということは成り立たない fact11: あの電気双極子は期末棚卸し資産でない fact12: 「その筋組織は直系卑属だが期末棚卸し資産でない」ということは成り立たないならばそれは十倍しない fact13: 「その筋組織は十倍するしおまけにそれはビタミンＤ三代謝産物である」ということは誤っている fact14: あの後ろ前は厚かましい fact15: 「もしその筋組織が歴史的価値でないとするとその筋組織は邪魔臭くて厚かましい」ということは事実と異ならない fact16: 「もしその平屋が邪魔臭くないとすればその筋組織は期末棚卸し資産でないが要求性能だ」ということは本当だ fact17: その筋組織は固いとしたら「あのマカラは十倍しない」ということは真実だ fact18: もしあの電気双極子が強姦しないならばその消費者問題は邪魔臭くない fact19: 仮にあの後ろ前がビタミンＤ三代謝産物でないとするとその平屋は要求性能だ fact20: その嫌悪感は期末棚卸し資産でないがしかし厚かましい fact21: もしあのマカラが固いならそれは歴史的価値でない fact22: もしあの電気双極子は固いということはないけど強姦すれば「あのマカラは厚かましい」ということは正しい fact23: 仮にその嫌悪感が歴史的価値でないけれど厚かましいとしたらあのマカラは固い fact24: もし仮にあの電気双極子が強姦するし更に厚かましいとすればその消費者問題は邪魔臭い fact25: その嫌悪感は期末棚卸し資産でない fact26: もしもその消費者問題が邪魔臭いということはないとすればその嫌悪感は歴史的価値でないがそれは厚かましい ; $hypothesis$ = その平屋は要求性能だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの電気双極子は強姦する; fact6 & assump1 -> int1: その筋組織は十倍する; fact10 & fact12 -> int2: その筋組織は十倍しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの電気双極子は強姦しない」ということは成り立つ; int4 & fact18 -> int5: その消費者問題は邪魔臭くない; int5 & fact26 -> int6: その嫌悪感は歴史的価値でないけれど厚かましい; int6 & fact23 -> int7: あのマカラは固い; int7 & fact2 -> int8: あの後ろ前はビタミンＤ三代謝産物でない; int8 & fact19 -> hypothesis; __PROVED__
事実1: 「その筋組織は厚かましくて更に十倍する」ということは偽である
事実2: もしあのマカラが固いとしたらあの後ろ前はビタミンＤ三代謝産物でない
事実3: 仮に「その平屋は要求性能だ一方で期末棚卸し資産でない」ということは事実でないとすると厚かましくない
事実4: あのマカラは要求性能だということはない
事実5: もしその嫌悪感がビタミンＤ三代謝産物でないとするとあの後ろ前は歴史的価値だ
事実6: あの電気双極子が強姦するとするとその筋組織は十倍する
事実7: あの電気双極子はトーンカーブである
事実8: 仮に「その筋組織は固い一方でビタミンＤ三代謝産物でない」ということは誤りであるなら歴史的価値であるということはない
事実9: その嫌悪感が邪魔臭くないとすればその平屋は歴史的価値でない一方で要求性能だ
事実10: 「その筋組織は直系卑属であるけど期末棚卸し資産だということはない」ということは成り立たない
事実11: あの電気双極子は期末棚卸し資産でない
事実12: 「その筋組織は直系卑属だが期末棚卸し資産でない」ということは成り立たないならばそれは十倍しない
事実13: 「その筋組織は十倍するしおまけにそれはビタミンＤ三代謝産物である」ということは誤っている
事実14: あの後ろ前は厚かましい
事実15: 「もしその筋組織が歴史的価値でないとするとその筋組織は邪魔臭くて厚かましい」ということは事実と異ならない
事実16: 「もしその平屋が邪魔臭くないとすればその筋組織は期末棚卸し資産でないが要求性能だ」ということは本当だ
事実17: その筋組織は固いとしたら「あのマカラは十倍しない」ということは真実だ
事実18: もしあの電気双極子が強姦しないならばその消費者問題は邪魔臭くない
事実19: 仮にあの後ろ前がビタミンＤ三代謝産物でないとするとその平屋は要求性能だ
事実20: その嫌悪感は期末棚卸し資産でないがしかし厚かましい
事実21: もしあのマカラが固いならそれは歴史的価値でない
事実22: もしあの電気双極子は固いということはないけど強姦すれば「あのマカラは厚かましい」ということは正しい
事実23: 仮にその嫌悪感が歴史的価値でないけれど厚かましいとしたらあのマカラは固い
事実24: もし仮にあの電気双極子が強姦するし更に厚かましいとすればその消費者問題は邪魔臭い
事実25: その嫌悪感は期末棚卸し資産でない
事実26: もしもその消費者問題が邪魔臭いということはないとすればその嫌悪感は歴史的価値でないがそれは厚かましい

仮説: その平屋は要求性能だ
1. 仮定1: 以下のように仮定する。あの電気双極子は強姦する
2. 事実6と仮定1から、推論1: "その筋組織は十倍する"が導かれる
3. 事実10と事実12から、推論2: "その筋組織は十倍しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの電気双極子は強姦しない」ということは成り立つ"が導かれる
6. 推論4と事実18から、推論5: "その消費者問題は邪魔臭くない"が導かれる
7. 推論5と事実26から、推論6: "その嫌悪感は歴史的価値でないけれど厚かましい"が導かれる
8. 推論6と事実23から、推論7: "あのマカラは固い"が導かれる
9. 推論7と事実2から、推論8: "あの後ろ前はビタミンＤ三代謝産物でない"が導かれる
10. 推論8と事実19から、仮説が導かれる

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