「このぴよぴゆLv.66は小難しいかそれは立ち込めるか両方ともだ」ということは確かでない
fact1: このぴよぴゆLv.66は小難しいししかもそれは厚ぼったい fact2: このぴよぴゆLv.66は厚ぼったい fact3: 「なんらかのモンスターは目覚ましくないけれど厚ぼったい」ということは事実でないならそれは小難しいということはない fact4: 小難しくないモンスターは立ち込めるかもしくは貧乏臭いか両方である
fact1 -> int1: このぴよぴゆLv.66は小難しい; int1 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> hypothesis;
そのみのみにょLv.8は立ち込めるかもしくは貧乏臭い
fact5 -> int2: もし仮にそのみのみにょLv.8が小難しくないならそのみのみにょLv.8は立ち込めるかあるいは貧乏臭いかあるいは両方である; fact6 -> int3: 「そのみのみにょLv.8は目覚ましくないがしかし厚ぼったい」ということは成り立つということはないならそのみのみにょLv.8は小難しいということはない;
$facts$ = fact1: このぴよぴゆLv.66は小難しいししかもそれは厚ぼったい fact2: このぴよぴゆLv.66は厚ぼったい fact3: 「なんらかのモンスターは目覚ましくないけれど厚ぼったい」ということは事実でないならそれは小難しいということはない fact4: 小難しくないモンスターは立ち込めるかもしくは貧乏臭いか両方である ; $hypothesis$ = 「このぴよぴゆLv.66は小難しいかそれは立ち込めるか両方ともだ」ということは確かでない ; $proof$ = 
fact1 -> int1: このぴよぴゆLv.66は小難しい; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__