「その平安期は身軽くない一方で送り迎える」ということは成り立つということはない
fact1: あの主体的参加はスパイ活動でない fact2: もし仮にあるものが罹患し易いならばそれは芝地だ fact3: その表示部は送り迎える fact4: もし仮に「その貿易会社は調査出来るということはないしおまけに俗っぽいということはない」ということは間違いであるならあの主体的参加は調査出来る fact5: もしもあの日取りは芝地でないとすると「その緩和は好ましくないけどそれはねちっこい」ということは間違いだ fact6: その平安期は身軽いし加えて送り迎えればそれは遜る fact7: もし仮に「その平安期は身軽くてそれは二等分する」ということは本当ならばそれはスタンプする fact8: もしも身軽い物が送り迎えるとすればそれは遜る fact9: 仮にあの主体的参加が遜るしさらに芝地だとすればあの日取りは芝地でない fact10: もしあの主体的参加が芝地であるしその上罹患し易いならあの日取りは芝地だということはない fact11: 仮にあの主体的参加が留置場でないならば浅黒くて加えてそれは遜る fact12: 仮にあの主体的参加がスパイ活動だということはないとしたら留置場でない fact13: もし仮に「その平安期は芝地でないけどそれは遜る」ということは事実と異なるなら遜らない fact14: 「その平安期は芝地でない一方でそれは遜る」ということは正しくない fact15: もしなにがしかの物が身軽くないがしかしそれが送り迎えるとすると遜る fact16: 「その平安期は身軽くて更に送り迎える」ということは成り立たない fact17: もしもとある物が調査出来れば罹患し易くてそれは格上げしない fact18: 仮にあの進学先が発揮し難くてかつ身軽いとしたら見詰む fact19: もし仮にあの日取りが芝地でないとしたらその平安期は身軽くないけれどそれは送り迎える fact20: もし仮に「あの細胞説は身軽くないがしかし麦作だ」ということは成り立たないとするとそれは麦作でない fact21: その平安期は身軽くない
fact15 -> int1: もしその平安期は身軽くないが送り迎えれば遜る; void -> assump1: 以下のように仮定する。その平安期は身軽いということはないがしかし送り迎える; int1 & assump1 -> int2: その平安期は遜る; fact14 & fact13 -> int3: その平安期は遜らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「その緩和は好ましくないけれどねちっこい」ということは間違いである
$facts$ = fact1: あの主体的参加はスパイ活動でない fact2: もし仮にあるものが罹患し易いならばそれは芝地だ fact3: その表示部は送り迎える fact4: もし仮に「その貿易会社は調査出来るということはないしおまけに俗っぽいということはない」ということは間違いであるならあの主体的参加は調査出来る fact5: もしもあの日取りは芝地でないとすると「その緩和は好ましくないけどそれはねちっこい」ということは間違いだ fact6: その平安期は身軽いし加えて送り迎えればそれは遜る fact7: もし仮に「その平安期は身軽くてそれは二等分する」ということは本当ならばそれはスタンプする fact8: もしも身軽い物が送り迎えるとすればそれは遜る fact9: 仮にあの主体的参加が遜るしさらに芝地だとすればあの日取りは芝地でない fact10: もしあの主体的参加が芝地であるしその上罹患し易いならあの日取りは芝地だということはない fact11: 仮にあの主体的参加が留置場でないならば浅黒くて加えてそれは遜る fact12: 仮にあの主体的参加がスパイ活動だということはないとしたら留置場でない fact13: もし仮に「その平安期は芝地でないけどそれは遜る」ということは事実と異なるなら遜らない fact14: 「その平安期は芝地でない一方でそれは遜る」ということは正しくない fact15: もしなにがしかの物が身軽くないがしかしそれが送り迎えるとすると遜る fact16: 「その平安期は身軽くて更に送り迎える」ということは成り立たない fact17: もしもとある物が調査出来れば罹患し易くてそれは格上げしない fact18: 仮にあの進学先が発揮し難くてかつ身軽いとしたら見詰む fact19: もし仮にあの日取りが芝地でないとしたらその平安期は身軽くないけれどそれは送り迎える fact20: もし仮に「あの細胞説は身軽くないがしかし麦作だ」ということは成り立たないとするとそれは麦作でない fact21: その平安期は身軽くない ; $hypothesis$ = 「その平安期は身軽くない一方で送り迎える」ということは成り立つということはない ; $proof$ = 
fact15 -> int1: もしその平安期は身軽くないが送り迎えれば遜る; void -> assump1: 以下のように仮定する。その平安期は身軽いということはないがしかし送り迎える; int1 & assump1 -> int2: その平安期は遜る; fact14 & fact13 -> int3: その平安期は遜らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの主体的参加はスパイ活動でない
事実2: もし仮にあるものが罹患し易いならばそれは芝地だ
事実3: その表示部は送り迎える
事実4: もし仮に「その貿易会社は調査出来るということはないしおまけに俗っぽいということはない」ということは間違いであるならあの主体的参加は調査出来る
事実5: もしもあの日取りは芝地でないとすると「その緩和は好ましくないけどそれはねちっこい」ということは間違いだ
事実6: その平安期は身軽いし加えて送り迎えればそれは遜る
事実7: もし仮に「その平安期は身軽くてそれは二等分する」ということは本当ならばそれはスタンプする
事実8: もしも身軽い物が送り迎えるとすればそれは遜る
事実9: 仮にあの主体的参加が遜るしさらに芝地だとすればあの日取りは芝地でない
事実10: もしあの主体的参加が芝地であるしその上罹患し易いならあの日取りは芝地だということはない
事実11: 仮にあの主体的参加が留置場でないならば浅黒くて加えてそれは遜る
事実12: 仮にあの主体的参加がスパイ活動だということはないとしたら留置場でない
事実13: もし仮に「その平安期は芝地でないけどそれは遜る」ということは事実と異なるなら遜らない
事実14: 「その平安期は芝地でない一方でそれは遜る」ということは正しくない
事実15: もしなにがしかの物が身軽くないがしかしそれが送り迎えるとすると遜る
事実16: 「その平安期は身軽くて更に送り迎える」ということは成り立たない
事実17: もしもとある物が調査出来れば罹患し易くてそれは格上げしない
事実18: 仮にあの進学先が発揮し難くてかつ身軽いとしたら見詰む
事実19: もし仮にあの日取りが芝地でないとしたらその平安期は身軽くないけれどそれは送り迎える
事実20: もし仮に「あの細胞説は身軽くないがしかし麦作だ」ということは成り立たないとするとそれは麦作でない
事実21: その平安期は身軽くない

仮説: 「その平安期は身軽くない一方で送り迎える」ということは成り立つということはない
1. 事実15から、推論1: "もしその平安期は身軽くないが送り迎えれば遜る"が導かれる
2. 仮定1: 以下のように仮定する。その平安期は身軽いということはないがしかし送り迎える
3. 推論1と仮定1から、推論2: "その平安期は遜る"が導かれる
4. 事実14と事実13から、推論3: "その平安期は遜らない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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