このぴなぴわLv.40は目的無し
fact1: もしもこのまねまくLv.85はパニクるということはないとすれば「そのぽわぽえLv.75は急く一方でパニクるない」ということは成り立たない fact2: そのぽわぽえLv.75は急かないが懐こい fact3: 仮にそのぽわぽえLv.75は急かないならば「このまねまくLv.85はパニクるがそれは急かない」ということは誤りである fact4: もし「このまねまくLv.85はパニクるけど急かない」ということは成り立たないとするとこのぴなぴわLv.40は目的無しない
fact2 -> int1: そのぽわぽえLv.75は急かない; int1 & fact3 -> int2: 「このまねまくLv.85はパニクる一方で急かない」ということは誤りである; int2 & fact4 -> hypothesis;
fact2 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬({C}{b} & ¬{A}{b}); int2 & fact4 -> hypothesis;
$facts$ = fact1: もしもこのまねまくLv.85はパニクるということはないとすれば「そのぽわぽえLv.75は急く一方でパニクるない」ということは成り立たない fact2: そのぽわぽえLv.75は急かないが懐こい fact3: 仮にそのぽわぽえLv.75は急かないならば「このまねまくLv.85はパニクるがそれは急かない」ということは誤りである fact4: もし「このまねまくLv.85はパニクるけど急かない」ということは成り立たないとするとこのぴなぴわLv.40は目的無しない ; $hypothesis$ = このぴなぴわLv.40は目的無し ; $proof$ = 
fact2 -> int1: そのぽわぽえLv.75は急かない; int1 & fact3 -> int2: 「このまねまくLv.85はパニクる一方で急かない」ということは誤りである; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬({C}{b} & ¬{A}{b}); int2 & fact4 -> hypothesis; __DISPROVED__