「そのラピスはへたらないがしかし薄っぺらい」ということは間違いだ
fact1: あの切り絵は縦割りだ fact2: その真骨頂は継承・発展するかもしくは施工するか両方だ fact3: もし仮にその真骨頂が継承・発展するかもしくは施工するとすればそのチャーター機は点検しない fact4: もしその朝倉城がごついとすればその荒くれは薄っぺらい fact5: もし仮に何らかの物は理解し難いならば「へたるということはないけれど疲労し易い」ということは偽である fact6: もし仮にこの一価が次書であるとするとその朝倉城はごつい fact7: 仮に「その荒くれは薄っぺらい」ということは間違っていないとしたらそのラピスは薄っぺらい fact8: もし仮に「この日米は次書でない一方でそれは細長い」ということは偽であるとしたらこの一価は次書である fact9: とある物は縦割りだとすると「へたらないしそれは薄っぺらい」ということは確かであるということはない fact10: 仮にとある物は縦割りでないならばへたらない fact11: 毛深いものは正統性でなくてしかも出入り出来ない fact12: もし「なんらかの物は正統性でないしその上出入り出来ない」ということは確かだとしたら縦割りでない fact13: もしなにがしかのものが砲撃しないとしたらそれは毛深い fact14: そのラピスは縦割りであるしまた正統性である fact15: 仮になにがしかのものはへたるとすると「それは正統性でない一方で縦割りだ」ということは間違いだ fact16: もしもとあるものは変換するなら「御化粧するしゲル内沈降反応だ」ということは嘘だ
fact14 -> int1: そのラピスは縦割りだ; fact9 -> int2: もしそのラピスは縦割りであるとしたら「へたらないが薄っぺらい」ということは間違いだ; int1 & int2 -> hypothesis;
もしこの集団防衛は理解し難いとすれば「へたるということはないしさらにそれは疲労し易い」ということは偽である
fact17 -> hypothesis;
$facts$ = fact1: あの切り絵は縦割りだ fact2: その真骨頂は継承・発展するかもしくは施工するか両方だ fact3: もし仮にその真骨頂が継承・発展するかもしくは施工するとすればそのチャーター機は点検しない fact4: もしその朝倉城がごついとすればその荒くれは薄っぺらい fact5: もし仮に何らかの物は理解し難いならば「へたるということはないけれど疲労し易い」ということは偽である fact6: もし仮にこの一価が次書であるとするとその朝倉城はごつい fact7: 仮に「その荒くれは薄っぺらい」ということは間違っていないとしたらそのラピスは薄っぺらい fact8: もし仮に「この日米は次書でない一方でそれは細長い」ということは偽であるとしたらこの一価は次書である fact9: とある物は縦割りだとすると「へたらないしそれは薄っぺらい」ということは確かであるということはない fact10: 仮にとある物は縦割りでないならばへたらない fact11: 毛深いものは正統性でなくてしかも出入り出来ない fact12: もし「なんらかの物は正統性でないしその上出入り出来ない」ということは確かだとしたら縦割りでない fact13: もしなにがしかのものが砲撃しないとしたらそれは毛深い fact14: そのラピスは縦割りであるしまた正統性である fact15: 仮になにがしかのものはへたるとすると「それは正統性でない一方で縦割りだ」ということは間違いだ fact16: もしもとあるものは変換するなら「御化粧するしゲル内沈降反応だ」ということは嘘だ ; $hypothesis$ = 「そのラピスはへたらないがしかし薄っぺらい」ということは間違いだ ; $proof$ = 
fact14 -> int1: そのラピスは縦割りだ; fact9 -> int2: もしそのラピスは縦割りであるとしたら「へたらないが薄っぺらい」ということは間違いだ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの切り絵は縦割りだ
事実2: その真骨頂は継承・発展するかもしくは施工するか両方だ
事実3: もし仮にその真骨頂が継承・発展するかもしくは施工するとすればそのチャーター機は点検しない
事実4: もしその朝倉城がごついとすればその荒くれは薄っぺらい
事実5: もし仮に何らかの物は理解し難いならば「へたるということはないけれど疲労し易い」ということは偽である
事実6: もし仮にこの一価が次書であるとするとその朝倉城はごつい
事実7: 仮に「その荒くれは薄っぺらい」ということは間違っていないとしたらそのラピスは薄っぺらい
事実8: もし仮に「この日米は次書でない一方でそれは細長い」ということは偽であるとしたらこの一価は次書である
事実9: とある物は縦割りだとすると「へたらないしそれは薄っぺらい」ということは確かであるということはない
事実10: 仮にとある物は縦割りでないならばへたらない
事実11: 毛深いものは正統性でなくてしかも出入り出来ない
事実12: もし「なんらかの物は正統性でないしその上出入り出来ない」ということは確かだとしたら縦割りでない
事実13: もしなにがしかのものが砲撃しないとしたらそれは毛深い
事実14: そのラピスは縦割りであるしまた正統性である
事実15: 仮になにがしかのものはへたるとすると「それは正統性でない一方で縦割りだ」ということは間違いだ
事実16: もしもとあるものは変換するなら「御化粧するしゲル内沈降反応だ」ということは嘘だ

仮説: 「そのラピスはへたらないがしかし薄っぺらい」ということは間違いだ
1. 事実14から、推論1: "そのラピスは縦割りだ"が導かれる
2. 事実9から、推論2: "もしそのラピスは縦割りであるとしたら「へたらないが薄っぺらい」ということは間違いだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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