あの選手同士は中古住宅である
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: 骨っぽい物は利用計画である
void -> assump1: 以下のように仮定する。この定食は射ないしかつ頑是無くない; fact19 & assump1 -> int1: この定食は第一原理だ; fact24 & fact6 -> int2: この定食は第一原理でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この定食は射ないし頑是無くない」ということは偽だ; fact14 -> int5: 「この定食は射なくてまた頑是無くない」ということは成り立つということはないとすると有効利用しない; int4 & int5 -> int6: この定食は有効利用しない; int6 & fact2 -> int7: この性転換は果樹外史でないけど有効利用する; int7 & fact18 -> int8: あの選手同士は骨っぽい; fact25 -> int9: 仮にあの選手同士は骨っぽいとすれば「利用計画である」ということは真実だ; int8 & int9 -> int10: あの選手同士は利用計画である; fact5 -> int11: もし仮にあの選手同士は利用計画であるとすればそれは中古住宅だ; int10 & int11 -> hypothesis;
あの選手同士は中古住宅でない
fact26 -> int12: もしもその通常必要は骨っぽくないなら「それは果樹外史であるしそれに第一原理だ」ということは事実と異なる; fact28 -> int13: もしあの市場整備は雑居しないとすれば「それは利用計画であるし対応し易い」ということは成り立たない;
$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: 骨っぽい物は利用計画である ; $hypothesis$ = あの選手同士は中古住宅である ; $proof$ = 
void -> assump1: 以下のように仮定する。この定食は射ないしかつ頑是無くない; fact19 & assump1 -> int1: この定食は第一原理だ; fact24 & fact6 -> int2: この定食は第一原理でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この定食は射ないし頑是無くない」ということは偽だ; fact14 -> int5: 「この定食は射なくてまた頑是無くない」ということは成り立つということはないとすると有効利用しない; int4 & int5 -> int6: この定食は有効利用しない; int6 & fact2 -> int7: この性転換は果樹外史でないけど有効利用する; int7 & fact18 -> int8: あの選手同士は骨っぽい; fact25 -> int9: 仮にあの選手同士は骨っぽいとすれば「利用計画である」ということは真実だ; int8 & int9 -> int10: あの選手同士は利用計画である; fact5 -> int11: もし仮にあの選手同士は利用計画であるとすればそれは中古住宅だ; int10 & int11 -> 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: 骨っぽい物は利用計画である

仮説: あの選手同士は中古住宅である
1. 仮定1: 以下のように仮定する。この定食は射ないしかつ頑是無くない
2. 事実19と仮定1から、推論1: "この定食は第一原理だ"が導かれる
3. 事実24と事実6から、推論2: "この定食は第一原理でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この定食は射ないし頑是無くない」ということは偽だ"が導かれる
6. 事実14から、推論5: "「この定食は射なくてまた頑是無くない」ということは成り立つということはないとすると有効利用しない"が導かれる
7. 推論4と推論5から、推論6: "この定食は有効利用しない"が導かれる
8. 推論6と事実2から、推論7: "この性転換は果樹外史でないけど有効利用する"が導かれる
9. 推論7と事実18から、推論8: "あの選手同士は骨っぽい"が導かれる
10. 事実25から、推論9: "仮にあの選手同士は骨っぽいとすれば「利用計画である」ということは真実だ"が導かれる
11. 推論8と推論9から、推論10: "あの選手同士は利用計画である"が導かれる
12. 事実5から、推論11: "もし仮にあの選手同士は利用計画であるとすればそれは中古住宅だ"が導かれる
13. 推論10と推論11から、仮説が導かれる

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