「「もし恐れ多くないならば「駆け寄るしおまけに粗い」ということは嘘である」モンスターはいる」ということは事実と異なる
fact1: もし何らかのモンスターは苦々しいということはないなら「それは捕らえ難くて尋ね始める」ということは成り立たない fact2: 仮にこのぴなぴやLv.2は恐れ多くないとすると「それは駆け寄るしそれは粗い」ということは誤っている fact3: もし仮にあのみゆみくLv.83は子供っぽくないとすれば「魅惑するし加えて駆け寄る」ということは成り立たない fact4: 「もし仮に恐れ多くないなら駆け寄るし粗い」モンスターはいる fact5: このぴなぴやLv.2は恐れ多いとすれば「それは駆け寄るしまた粗い」ということは誤りである
fact2 -> hypothesis;
fact2 -> hypothesis;
「苦々しくないなら「捕らえ難いしその上尋ね始める」ということは偽である」モンスターはいる
fact6 -> int1: もしこのぽにゅぽねLv.88は苦々しくないとしたら「このぽにゅぽねLv.88は捕らえ難くてさらに尋ね始める」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もし何らかのモンスターは苦々しいということはないなら「それは捕らえ難くて尋ね始める」ということは成り立たない fact2: 仮にこのぴなぴやLv.2は恐れ多くないとすると「それは駆け寄るしそれは粗い」ということは誤っている fact3: もし仮にあのみゆみくLv.83は子供っぽくないとすれば「魅惑するし加えて駆け寄る」ということは成り立たない fact4: 「もし仮に恐れ多くないなら駆け寄るし粗い」モンスターはいる fact5: このぴなぴやLv.2は恐れ多いとすれば「それは駆け寄るしまた粗い」ということは誤りである ; $hypothesis$ = 「「もし恐れ多くないならば「駆け寄るしおまけに粗い」ということは嘘である」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
fact2 -> hypothesis; __DISPROVED__