そのみなみくLv.80は平行する
fact1: もし仮に「「そのぽねぽちゅLv.0は集まり易くないしさらに引っ越し始めない」ということは誤りである」ということは成り立てばそのみにょみえLv.50は置き易くない fact2: 仮にそのみにょみえLv.50が置き易くないとすればそれは置き易くない一方で再発し易い fact3: もし仮にあのもちゃもにゃLv.5が嬉しいならあのもちゃもにゃLv.5は引っ越し始める fact4: 仮にそのぽねぽちゅLv.0が引っ越し始めるとするとそのみにょみえLv.50は置き易くない fact5: もし仮にあのもちゃもにゃLv.5は嬉しいとすれば「そのみなみくLv.80は平行しないしそれに嬉しくない」ということは成り立たない fact6: 仮にそのみにょみえLv.50が置き易くない一方で再発し易いとしたらそのみなみくLv.80は平行しない fact7: 「あのもちゃもにゃLv.5は嬉しい」ということは成り立つ fact8: もしもあのもちゃもにゃLv.5は引っ越し始めるとしたら「そのぽねぽちゅLv.0は集まり易くないしおまけに引っ越し始めない」ということは嘘である
fact3 & fact7 -> int1: 「あのもちゃもにゃLv.5は引っ越し始める」ということは成り立つ; int1 & fact8 -> int2: 「そのぽねぽちゅLv.0は集まり易くないししかも引っ越し始めない」ということは間違いである; int2 & fact1 -> int3: そのみにょみえLv.50は置き易いということはない; int3 & fact2 -> int4: そのみにょみえLv.50は置き易くないが再発し易い; int4 & fact6 -> hypothesis;
fact3 & fact7 -> int1: {B}{a}; int1 & fact8 -> int2: ¬(¬{D}{b} & ¬{B}{b}); int2 & fact1 -> int3: ¬{C}{c}; int3 & fact2 -> int4: (¬{C}{c} & {E}{c}); int4 & fact6 -> hypothesis;
$facts$ = fact1: もし仮に「「そのぽねぽちゅLv.0は集まり易くないしさらに引っ越し始めない」ということは誤りである」ということは成り立てばそのみにょみえLv.50は置き易くない fact2: 仮にそのみにょみえLv.50が置き易くないとすればそれは置き易くない一方で再発し易い fact3: もし仮にあのもちゃもにゃLv.5が嬉しいならあのもちゃもにゃLv.5は引っ越し始める fact4: 仮にそのぽねぽちゅLv.0が引っ越し始めるとするとそのみにょみえLv.50は置き易くない fact5: もし仮にあのもちゃもにゃLv.5は嬉しいとすれば「そのみなみくLv.80は平行しないしそれに嬉しくない」ということは成り立たない fact6: 仮にそのみにょみえLv.50が置き易くない一方で再発し易いとしたらそのみなみくLv.80は平行しない fact7: 「あのもちゃもにゃLv.5は嬉しい」ということは成り立つ fact8: もしもあのもちゃもにゃLv.5は引っ越し始めるとしたら「そのぽねぽちゅLv.0は集まり易くないしおまけに引っ越し始めない」ということは嘘である ; $hypothesis$ = そのみなみくLv.80は平行する ; $proof$ = 
fact3 & fact7 -> int1: 「あのもちゃもにゃLv.5は引っ越し始める」ということは成り立つ; int1 & fact8 -> int2: 「そのぽねぽちゅLv.0は集まり易くないししかも引っ越し始めない」ということは間違いである; int2 & fact1 -> int3: そのみにょみえLv.50は置き易いということはない; int3 & fact2 -> int4: そのみにょみえLv.50は置き易くないが再発し易い; int4 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: {B}{a}; int1 & fact8 -> int2: ¬(¬{D}{b} & ¬{B}{b}); int2 & fact1 -> int3: ¬{C}{c}; int3 & fact2 -> int4: (¬{C}{c} & {E}{c}); int4 & fact6 -> hypothesis; __DISPROVED__