「あのぷにぷくLv.46は百姓らしいかまたはそれは下落するかもしくは両方ともだ」ということは成り立たない
fact1: あのぷにぷくLv.46は太い fact2: 仮にあのぷにぷくLv.46が太いならば色好い fact3: このぽいぽわLv.70は悍ましいかもしくは太い fact4: もしもあのぷにぷくLv.46が色好いならばあのぷにぷくLv.46は下落する fact5: もしあのぷにぷくLv.46が百姓らしくないとしたらこのみわみくLv.87は太くてそれに色好い
fact2 & fact1 -> int1: あのぷにぷくLv.46は色好い; int1 & fact4 -> int2: あのぷにぷくLv.46は下落する; int2 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 -> hypothesis;
このみわみくLv.87は下落する
$facts$ = fact1: あのぷにぷくLv.46は太い fact2: 仮にあのぷにぷくLv.46が太いならば色好い fact3: このぽいぽわLv.70は悍ましいかもしくは太い fact4: もしもあのぷにぷくLv.46が色好いならばあのぷにぷくLv.46は下落する fact5: もしあのぷにぷくLv.46が百姓らしくないとしたらこのみわみくLv.87は太くてそれに色好い ; $hypothesis$ = 「あのぷにぷくLv.46は百姓らしいかまたはそれは下落するかもしくは両方ともだ」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> int1: あのぷにぷくLv.46は色好い; int1 & fact4 -> int2: あのぷにぷくLv.46は下落する; int2 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 -> hypothesis; __DISPROVED__