「「「もし仮に田舎臭いということはないとすると読み飛ばすしそれに言い辛いということはない」モンスターはいる」ということは事実だ」ということは成り立たない
fact1: 「もし仮に田舎臭いということはないなら読み飛ばすしさらに言い辛い」モンスターはいる fact2: 田舎臭くないモンスターは読み飛ばす一方で言い辛くない fact3: 通り難くないモンスターは鋭いがしかしかんしない fact4: もし仮になにがしかのモンスターが似付かわしいということはないとしたらど偉いししかもそれは仰々しくない fact5: 「田舎臭いとすれば読み飛ばすが言い辛いということはない」モンスターはいる
fact2 -> int1: もしあのぷくぷにLv.4が田舎臭くないとすればあのぷくぷにLv.4は読み飛ばすけれど言い辛くない; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「通り難くないとすると鋭いしかつかんしない」モンスターはいる
fact6 -> int2: もしそのぴやぴちょLv.23が通り難くないならばそのぴやぴちょLv.23は鋭いけどかんしない; int2 -> hypothesis;
$facts$ = fact1: 「もし仮に田舎臭いということはないなら読み飛ばすしさらに言い辛い」モンスターはいる fact2: 田舎臭くないモンスターは読み飛ばす一方で言い辛くない fact3: 通り難くないモンスターは鋭いがしかしかんしない fact4: もし仮になにがしかのモンスターが似付かわしいということはないとしたらど偉いししかもそれは仰々しくない fact5: 「田舎臭いとすれば読み飛ばすが言い辛いということはない」モンスターはいる ; $hypothesis$ = 「「「もし仮に田舎臭いということはないとすると読み飛ばすしそれに言い辛いということはない」モンスターはいる」ということは事実だ」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしあのぷくぷにLv.4が田舎臭くないとすればあのぷくぷにLv.4は読み飛ばすけれど言い辛くない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__