あのオープンソースは使い辛くてかつそれはし切れる
fact1: あの期末テストは人為的手段である fact2: あの期末テストはぷりぷりするしおまけにそれは塗り絵展だ fact3: 「この入学資格は凪ぐ一方でし切れない」ということは成り立たない fact4: 「塗り絵展が凪はないか人為的手段であるかあるいは両方である」ということは確かである fact5: もしも「「この入学資格は人為的手段でないしさらにし切れない」ということは間違いだ」ということは確かだとしたら「あの期末テストはし切れる」ということは正しい fact6: あのオープンソースは凪ぐしその上擦り寄せる fact7: あのオープンソースが熟し切れるとしたらそれは塗り絵展だ fact8: この入学資格は生温いしそれは大人しい fact9: 「この入学資格が凪はないしその上し切れない」ということは間違いだ fact10: 仮に「あの期末テストはし切れないしまた人為的手段でない」ということは成り立たないならこの入学資格は人為的手段である fact11: 「この入学資格は凪ぐということはない一方でし切れる」ということは成り立つということはない fact12: 仮にとある物がぷりぷりするしその上塗り絵展であるとするとそれは使い辛くない fact13: もしも「あの期末テストは打っ潰さないけれどし切れる」ということは本当でないならばこの入学資格は打っ潰す fact14: この入学資格は人為的手段である fact15: あのオープンソースはぷりぷりする fact16: あのオープンソースは人為的手段だ fact17: 仮になにかは人為的手段であるということはないなら「それは使い辛いしまたし切れる」ということは成り立つということはない fact18: 「あのオープンソースはし切れないししかも使い辛くない」ということは間違いであるとするとこの入学資格は使い辛い fact19: 「この入学資格が凪はなくてまた人為的手段でない」ということは嘘である fact20: もしあの期末テストは人為的手段であるとしたら「あのオープンソースは使い辛い」ということは真実だ fact21: その借用語は塗り絵展であるかそれは凪ぐ fact22: あの期末テストは配れる fact23: あのオープンソースは使い辛くないならば「あの期末テストは打っ潰さない一方でし切れる」ということは本当であるということはない fact24: 仮に「この入学資格が凪はなくてしかもし切れない」ということは真実でないならあのオープンソースはし切れる
fact20 & fact1 -> int1: あのオープンソースは使い辛い; fact9 & fact24 -> int2: あのオープンソースはし切れる; int1 & int2 -> hypothesis;
fact20 & fact1 -> int1: {B}{b}; fact9 & fact24 -> int2: {C}{b}; int1 & int2 -> hypothesis;
この入学資格は打っ潰すし働き難い
fact26 -> int3: もしあのオープンソースがぷりぷりするし更に塗り絵展ならそれは使い辛くない;
$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: 仮に「この入学資格が凪はなくてしかもし切れない」ということは真実でないならあのオープンソースはし切れる ; $hypothesis$ = あのオープンソースは使い辛くてかつそれはし切れる ; $proof$ = 
fact20 & fact1 -> int1: あのオープンソースは使い辛い; fact9 & fact24 -> int2: あのオープンソースはし切れる; int1 & int2 -> 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: 仮に「この入学資格が凪はなくてしかもし切れない」ということは真実でないならあのオープンソースはし切れる

仮説: あのオープンソースは使い辛くてかつそれはし切れる
1. 事実20と事実1から、推論1: "あのオープンソースは使い辛い"が導かれる
2. 事実9と事実24から、推論2: "あのオープンソースはし切れる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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