そのもえもちゃLv.15は酸っぱくない
fact1: もし「そのもやもいLv.28はおっきいがそれは嫉妬深くない」ということは成り立たないとしたら「そのもやもいLv.28は酸っぱいということはない」ということは正しい fact2: もしそのもえもちゃLv.15が阿呆らしいならばそのもえもちゃLv.15は乏しい fact3: そのもえもちゃLv.15は阿呆らしい fact4: 仮に愛情深いモンスターが考え深いとすれば如此しということはない fact5: 仮にそのもえもちゃLv.15が乏しいならそのもえもちゃLv.15は酸っぱい fact6: そのもやもいLv.28は承知致すしさらに愛情深い fact7: そのもやもいLv.28は如此しということはないならば「それはおっきいしそれは嫉妬深くない」ということは嘘である
fact2 & fact3 -> int1: そのもえもちゃLv.15は乏しい; int1 & fact5 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
そのもやもいLv.28は阿呆らしい
fact8 -> int2: 「そのもやもいLv.28が愛情深くて考え深いとするとそのもやもいLv.28は如此しない」ということは確かだ; fact11 -> int3: そのもやもいLv.28は愛情深い;
$facts$ = fact1: もし「そのもやもいLv.28はおっきいがそれは嫉妬深くない」ということは成り立たないとしたら「そのもやもいLv.28は酸っぱいということはない」ということは正しい fact2: もしそのもえもちゃLv.15が阿呆らしいならばそのもえもちゃLv.15は乏しい fact3: そのもえもちゃLv.15は阿呆らしい fact4: 仮に愛情深いモンスターが考え深いとすれば如此しということはない fact5: 仮にそのもえもちゃLv.15が乏しいならそのもえもちゃLv.15は酸っぱい fact6: そのもやもいLv.28は承知致すしさらに愛情深い fact7: そのもやもいLv.28は如此しということはないならば「それはおっきいしそれは嫉妬深くない」ということは嘘である ; $hypothesis$ = そのもえもちゃLv.15は酸っぱくない ; $proof$ = 
fact2 & fact3 -> int1: そのもえもちゃLv.15は乏しい; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__