そのぴいぴえLv.73は最もらしいかそれは御高くないかあるいは両方である
fact1: そのぴちゃぴちゅLv.85は注意深くない fact2: 仮にこのぷねぷねLv.1が御高いとしたらそのぴいぴえLv.73は最もらしくない fact3: もし仮にこのぷねぷねLv.1が好ましならこのぷねぷねLv.1は御高い fact4: そのぴいぴえLv.73は最もらしくない fact5: もしこのぷねぷねLv.1は御高いとすれば「そのぴいぴえLv.73は最もらしいかそれは御高くないかあるいは両方ともだ」ということは誤りだ fact6: もし仮にそのぴちゃぴちゅLv.85が捨て難くないとすればこのぷねぷねLv.1は好まし fact7: そのぴちゃぴちゅLv.85は捨て難くないしまた注意深くない
fact7 -> int1: そのぴちゃぴちゅLv.85は捨て難くない; fact6 & int1 -> int2: このぷねぷねLv.1は好まし; int2 & fact3 -> int3: このぷねぷねLv.1は御高い; int3 & fact5 -> hypothesis;
fact7 -> int1: ¬{A}{a}; fact6 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{b}; int3 & fact5 -> hypothesis;
$facts$ = fact1: そのぴちゃぴちゅLv.85は注意深くない fact2: 仮にこのぷねぷねLv.1が御高いとしたらそのぴいぴえLv.73は最もらしくない fact3: もし仮にこのぷねぷねLv.1が好ましならこのぷねぷねLv.1は御高い fact4: そのぴいぴえLv.73は最もらしくない fact5: もしこのぷねぷねLv.1は御高いとすれば「そのぴいぴえLv.73は最もらしいかそれは御高くないかあるいは両方ともだ」ということは誤りだ fact6: もし仮にそのぴちゃぴちゅLv.85が捨て難くないとすればこのぷねぷねLv.1は好まし fact7: そのぴちゃぴちゅLv.85は捨て難くないしまた注意深くない ; $hypothesis$ = そのぴいぴえLv.73は最もらしいかそれは御高くないかあるいは両方である ; $proof$ = 
fact7 -> int1: そのぴちゃぴちゅLv.85は捨て難くない; fact6 & int1 -> int2: このぷねぷねLv.1は好まし; int2 & fact3 -> int3: このぷねぷねLv.1は御高い; int3 & fact5 -> hypothesis; __DISPROVED__
fact7 -> int1: ¬{A}{a}; fact6 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{b}; int3 & fact5 -> hypothesis; __DISPROVED__