「そのぷにぷにLv.79は恋しい一方で遣る瀬無いということはない」ということは成り立つということはない
fact1: そのぷにぷにLv.79は遣る瀬無くない fact2: 仮に「そのぴなぴわLv.11は疑い深くない一方でそれは想像出来る」ということは成り立たないとするとそれは策する fact3: もしそのぴなぴわLv.11が想像出来ないならばそのぴなぴわLv.11は策する fact4: 「そのぷにぷにLv.79は恋しくないがしかし乏しい」ということは誤っている fact5: もし仮にそのぴなぴわLv.11が策すればそのぷにぷにLv.79は恋しい一方で遣る瀬無くない fact6: 「そのぴなぴわLv.11は疑い深くないがしかしそれは想像出来る」ということは嘘だ
fact2 & fact6 -> int1: そのぴなぴわLv.11は策する; int1 & fact5 -> hypothesis;
fact2 & fact6 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: そのぷにぷにLv.79は遣る瀬無くない fact2: 仮に「そのぴなぴわLv.11は疑い深くない一方でそれは想像出来る」ということは成り立たないとするとそれは策する fact3: もしそのぴなぴわLv.11が想像出来ないならばそのぴなぴわLv.11は策する fact4: 「そのぷにぷにLv.79は恋しくないがしかし乏しい」ということは誤っている fact5: もし仮にそのぴなぴわLv.11が策すればそのぷにぷにLv.79は恋しい一方で遣る瀬無くない fact6: 「そのぴなぴわLv.11は疑い深くないがしかしそれは想像出来る」ということは嘘だ ; $hypothesis$ = 「そのぷにぷにLv.79は恋しい一方で遣る瀬無いということはない」ということは成り立つということはない ; $proof$ = 
fact2 & fact6 -> int1: そのぴなぴわLv.11は策する; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__