このやくざ社会は理屈っぽい
fact1: もしも「その顎伯父は近江国でないし萎びない」ということは間違っているとしたら「あの試料水は近江国である」ということは成り立つ fact2: 仮にこのやくざ社会は近江国だということはないし加えて癖しないとすれば遣り辛い fact3: 「思い出深くて加えて農業関係な」ものはある fact4: 「開削である」ものはある fact5: 「開削でない」物はある fact6: もしもこの前々月が近江国であるしまた思い出深いならばこのやくざ社会は理屈っぽくない fact7: この前々月は思い出深い fact8: もし仮に何らかのものは開削でないなら「その顎伯父は萎びない一方で遣り辛い」ということは成り立たない fact9: 仮になんらかのものは開削でないならば「それは近江国でなくて萎びない」ということは事実と異なる fact10: もしその顎伯父が尊崇するしそれに近江国だとするとこのやくざ社会は近江国でない fact11: この前々月は遣り辛い fact12: 仮にとある物は癖するなら「近江国だ」ということは事実だ fact13: もし仮に「その顎伯父は萎びるということはないけれど遣り辛い」ということは間違いだとすればあの前々月は癖する fact14: もし仮に「開削でない」物はあるとすれば「その顎伯父は萎びるししかも遣り辛い」ということは偽だ fact15: 遣り辛くないものは開削でない fact16: もしも何らかのものが萎びるとしたらそれは開削だ fact17: 仮に何らかの物が開削だとすればそれは理屈っぽい fact18: 「その顎伯父は萎びるししかも遣り辛い」ということは成り立たない fact19: 仮にその顎伯父が萎びるとしたらこの前々月は癖する
fact5 & fact8 -> int1: 「その顎伯父は萎びないけれど遣り辛い」ということは間違っている; int1 & fact13 -> int2: この前々月は癖する; fact12 -> int3: この前々月が癖するとすれば近江国である; int2 & int3 -> int4: この前々月は近江国である; int4 & fact7 -> int5: この前々月は近江国でそれは思い出深い; int5 & fact6 -> hypothesis;
このやくざ社会は理屈っぽい
fact22 -> int6: もしこのやくざ社会が開削なら理屈っぽい; fact24 -> int7: もしこのやくざ社会は萎びれば「開削である」ということは成り立つ;
$facts$ = fact1: もしも「その顎伯父は近江国でないし萎びない」ということは間違っているとしたら「あの試料水は近江国である」ということは成り立つ fact2: 仮にこのやくざ社会は近江国だということはないし加えて癖しないとすれば遣り辛い fact3: 「思い出深くて加えて農業関係な」ものはある fact4: 「開削である」ものはある fact5: 「開削でない」物はある fact6: もしもこの前々月が近江国であるしまた思い出深いならばこのやくざ社会は理屈っぽくない fact7: この前々月は思い出深い fact8: もし仮に何らかのものは開削でないなら「その顎伯父は萎びない一方で遣り辛い」ということは成り立たない fact9: 仮になんらかのものは開削でないならば「それは近江国でなくて萎びない」ということは事実と異なる fact10: もしその顎伯父が尊崇するしそれに近江国だとするとこのやくざ社会は近江国でない fact11: この前々月は遣り辛い fact12: 仮にとある物は癖するなら「近江国だ」ということは事実だ fact13: もし仮に「その顎伯父は萎びるということはないけれど遣り辛い」ということは間違いだとすればあの前々月は癖する fact14: もし仮に「開削でない」物はあるとすれば「その顎伯父は萎びるししかも遣り辛い」ということは偽だ fact15: 遣り辛くないものは開削でない fact16: もしも何らかのものが萎びるとしたらそれは開削だ fact17: 仮に何らかの物が開削だとすればそれは理屈っぽい fact18: 「その顎伯父は萎びるししかも遣り辛い」ということは成り立たない fact19: 仮にその顎伯父が萎びるとしたらこの前々月は癖する ; $hypothesis$ = このやくざ社会は理屈っぽい ; $proof$ = 
fact5 & fact8 -> int1: 「その顎伯父は萎びないけれど遣り辛い」ということは間違っている; int1 & fact13 -> int2: この前々月は癖する; fact12 -> int3: この前々月が癖するとすれば近江国である; int2 & int3 -> int4: この前々月は近江国である; int4 & fact7 -> int5: この前々月は近江国でそれは思い出深い; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「その顎伯父は近江国でないし萎びない」ということは間違っているとしたら「あの試料水は近江国である」ということは成り立つ
事実2: 仮にこのやくざ社会は近江国だということはないし加えて癖しないとすれば遣り辛い
事実3: 「思い出深くて加えて農業関係な」ものはある
事実4: 「開削である」ものはある
事実5: 「開削でない」物はある
事実6: もしもこの前々月が近江国であるしまた思い出深いならばこのやくざ社会は理屈っぽくない
事実7: この前々月は思い出深い
事実8: もし仮に何らかのものは開削でないなら「その顎伯父は萎びない一方で遣り辛い」ということは成り立たない
事実9: 仮になんらかのものは開削でないならば「それは近江国でなくて萎びない」ということは事実と異なる
事実10: もしその顎伯父が尊崇するしそれに近江国だとするとこのやくざ社会は近江国でない
事実11: この前々月は遣り辛い
事実12: 仮にとある物は癖するなら「近江国だ」ということは事実だ
事実13: もし仮に「その顎伯父は萎びるということはないけれど遣り辛い」ということは間違いだとすればあの前々月は癖する
事実14: もし仮に「開削でない」物はあるとすれば「その顎伯父は萎びるししかも遣り辛い」ということは偽だ
事実15: 遣り辛くないものは開削でない
事実16: もしも何らかのものが萎びるとしたらそれは開削だ
事実17: 仮に何らかの物が開削だとすればそれは理屈っぽい
事実18: 「その顎伯父は萎びるししかも遣り辛い」ということは成り立たない
事実19: 仮にその顎伯父が萎びるとしたらこの前々月は癖する

仮説: このやくざ社会は理屈っぽい
1. 事実5と事実8から、推論1: "「その顎伯父は萎びないけれど遣り辛い」ということは間違っている"が導かれる
2. 推論1と事実13から、推論2: "この前々月は癖する"が導かれる
3. 事実12から、推論3: "この前々月が癖するとすれば近江国である"が導かれる
4. 推論2と推論3から、推論4: "この前々月は近江国である"が導かれる
5. 推論4と事実7から、推論5: "この前々月は近江国でそれは思い出深い"が導かれる
6. 推論5と事実6から、仮説が否定される

よって、仮説が否定されました。