あの変異株は省スペースである
fact1: 仮に「ジョイントであるかもしくは号するかもしくは両方である」物があればこの渇愛は因り難いということはない fact2: 「あの家礼が上げ易いとすればあの家礼は掴み易い」ということは確かだ fact3: なんらかのものは掴み易くないならば「上げ易いしそれに因り難い」ということは誤りだ fact4: この釜飯は号する fact5: 掴み易いものは落ち難くない fact6: もしもこの下底が省スペースだということはないとするとあの変異株は省スペースだしおまけに低料金だ fact7: もしもあの家礼が落ち難いがそれが片歌でないとすれば掴み易くない fact8: あの家礼は上げ易い fact9: 「あの家礼は上げ易くておまけに因り難い」ということは成り立つということはないとするとこの釜飯は因り難くない fact10: この渇愛が因り難くないし片歌でないとすればこの下底は省スペースでない fact11: その御祭り騒ぎは号する fact12: 仮に「この渇愛は低料金だ」ということは間違いであるとすればジョイントでないか省スペースでないかあるいは両方ともだ fact13: もし仮にあの家礼が落ち難くないとするとこの渇愛は片歌でないけどそれは見出だし難い
fact2 & fact8 -> int1: あの家礼は掴み易い; fact5 -> int2: あの家礼が掴み易いとするとそれは落ち難くない; int1 & int2 -> int3: 「あの家礼は落ち難いということはない」ということは成り立つ; int3 & fact13 -> int4: この渇愛は片歌でないけど見出だし難い; int4 -> int5: この渇愛は片歌でない; fact4 -> int6: この釜飯はジョイントであるかあるいは号するかもしくは両方ともだ; int6 -> int7: 「ジョイントであるか号する」物はある; fact1 & int7 -> int8: この渇愛は因り難いということはない; int5 & int8 -> int9: この渇愛は因り難いということはないし加えて片歌でない; int9 & fact10 -> int10: この下底は省スペースだということはない; int10 & fact6 -> int11: あの変異株は省スペースでしかも低料金だ; int11 -> hypothesis;
この釜飯は因り難くない
fact15 -> int12: もしあの家礼は掴み易くないなら「それは上げ易いしその上因り難い」ということは誤っている;
$facts$ = fact1: 仮に「ジョイントであるかもしくは号するかもしくは両方である」物があればこの渇愛は因り難いということはない fact2: 「あの家礼が上げ易いとすればあの家礼は掴み易い」ということは確かだ fact3: なんらかのものは掴み易くないならば「上げ易いしそれに因り難い」ということは誤りだ fact4: この釜飯は号する fact5: 掴み易いものは落ち難くない fact6: もしもこの下底が省スペースだということはないとするとあの変異株は省スペースだしおまけに低料金だ fact7: もしもあの家礼が落ち難いがそれが片歌でないとすれば掴み易くない fact8: あの家礼は上げ易い fact9: 「あの家礼は上げ易くておまけに因り難い」ということは成り立つということはないとするとこの釜飯は因り難くない fact10: この渇愛が因り難くないし片歌でないとすればこの下底は省スペースでない fact11: その御祭り騒ぎは号する fact12: 仮に「この渇愛は低料金だ」ということは間違いであるとすればジョイントでないか省スペースでないかあるいは両方ともだ fact13: もし仮にあの家礼が落ち難くないとするとこの渇愛は片歌でないけどそれは見出だし難い ; $hypothesis$ = あの変異株は省スペースである ; $proof$ = 
fact2 & fact8 -> int1: あの家礼は掴み易い; fact5 -> int2: あの家礼が掴み易いとするとそれは落ち難くない; int1 & int2 -> int3: 「あの家礼は落ち難いということはない」ということは成り立つ; int3 & fact13 -> int4: この渇愛は片歌でないけど見出だし難い; int4 -> int5: この渇愛は片歌でない; fact4 -> int6: この釜飯はジョイントであるかあるいは号するかもしくは両方ともだ; int6 -> int7: 「ジョイントであるか号する」物はある; fact1 & int7 -> int8: この渇愛は因り難いということはない; int5 & int8 -> int9: この渇愛は因り難いということはないし加えて片歌でない; int9 & fact10 -> int10: この下底は省スペースだということはない; int10 & fact6 -> int11: あの変異株は省スペースでしかも低料金だ; int11 -> hypothesis; __PROVED__
事実1: 仮に「ジョイントであるかもしくは号するかもしくは両方である」物があればこの渇愛は因り難いということはない
事実2: 「あの家礼が上げ易いとすればあの家礼は掴み易い」ということは確かだ
事実3: なんらかのものは掴み易くないならば「上げ易いしそれに因り難い」ということは誤りだ
事実4: この釜飯は号する
事実5: 掴み易いものは落ち難くない
事実6: もしもこの下底が省スペースだということはないとするとあの変異株は省スペースだしおまけに低料金だ
事実7: もしもあの家礼が落ち難いがそれが片歌でないとすれば掴み易くない
事実8: あの家礼は上げ易い
事実9: 「あの家礼は上げ易くておまけに因り難い」ということは成り立つということはないとするとこの釜飯は因り難くない
事実10: この渇愛が因り難くないし片歌でないとすればこの下底は省スペースでない
事実11: その御祭り騒ぎは号する
事実12: 仮に「この渇愛は低料金だ」ということは間違いであるとすればジョイントでないか省スペースでないかあるいは両方ともだ
事実13: もし仮にあの家礼が落ち難くないとするとこの渇愛は片歌でないけどそれは見出だし難い

仮説: あの変異株は省スペースである
1. 事実2と事実8から、推論1: "あの家礼は掴み易い"が導かれる
2. 事実5から、推論2: "あの家礼が掴み易いとするとそれは落ち難くない"が導かれる
3. 推論1と推論2から、推論3: "「あの家礼は落ち難いということはない」ということは成り立つ"が導かれる
4. 推論3と事実13から、推論4: "この渇愛は片歌でないけど見出だし難い"が導かれる
5. 推論4から、推論5: "この渇愛は片歌でない"が導かれる
6. 事実4から、推論6: "この釜飯はジョイントであるかあるいは号するかもしくは両方ともだ"が導かれる
7. 推論6から、推論7: "「ジョイントであるか号する」物はある"が導かれる
8. 事実1と推論7から、推論8: "この渇愛は因り難いということはない"が導かれる
9. 推論5と推論8から、推論9: "この渇愛は因り難いということはないし加えて片歌でない"が導かれる
10. 推論9と事実10から、推論10: "この下底は省スペースだということはない"が導かれる
11. 推論10と事実6から、推論11: "あの変異株は省スペースでしかも低料金だ"が導かれる
12. 推論11から、仮説が導かれる

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