そのぽゆぽちゅLv.12は仲間らしくないしおまけに頼み難くない
fact1: そのぽゆぽちゅLv.12は興味深い fact2: もし仮にこのぷなぷにゅLv.76が茶色くないならばこのぷなぷにゅLv.76は灰色っぽいかまたはだだっ広い fact3: もし仮にあるモンスターは親しいということはないとすれば「仲間らしくないしまた頼み難くない」ということは成り立たない fact4: もしそのぽゆぽちゅLv.12は親しいしさらに興味深いならばそれは頼み難くない fact5: このもよもちょLv.11が親しいということはなくておまけに絶え間無くないとするとそのぽゆぽちゅLv.12は親しいということはない fact6: そのぽゆぽちゅLv.12は仲間らしくない fact7: 「そのぽゆぽちゅLv.12は親しい」ということは真実だ
fact7 & fact1 -> int1: そのぽゆぽちゅLv.12は親しくてそれは興味深い; int1 & fact4 -> int2: そのぽゆぽちゅLv.12は頼み難くない; int2 & fact6 -> hypothesis;
fact7 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis;
「「「そのぽゆぽちゅLv.12は仲間らしくないしそれは頼み難いということはない」ということは事実と異ならない」ということは偽である」ということは成り立つ
fact10 -> int3: もし仮にそのぽゆぽちゅLv.12は親しくないとしたら「仲間らしいということはないしさらに頼み難くない」ということは誤りである;
$facts$ = fact1: そのぽゆぽちゅLv.12は興味深い fact2: もし仮にこのぷなぷにゅLv.76が茶色くないならばこのぷなぷにゅLv.76は灰色っぽいかまたはだだっ広い fact3: もし仮にあるモンスターは親しいということはないとすれば「仲間らしくないしまた頼み難くない」ということは成り立たない fact4: もしそのぽゆぽちゅLv.12は親しいしさらに興味深いならばそれは頼み難くない fact5: このもよもちょLv.11が親しいということはなくておまけに絶え間無くないとするとそのぽゆぽちゅLv.12は親しいということはない fact6: そのぽゆぽちゅLv.12は仲間らしくない fact7: 「そのぽゆぽちゅLv.12は親しい」ということは真実だ ; $hypothesis$ = そのぽゆぽちゅLv.12は仲間らしくないしおまけに頼み難くない ; $proof$ = 
fact7 & fact1 -> int1: そのぽゆぽちゅLv.12は親しくてそれは興味深い; int1 & fact4 -> int2: そのぽゆぽちゅLv.12は頼み難くない; int2 & fact6 -> hypothesis; __PROVED__
fact7 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis; __PROVED__