あのぷにゃぷくLv.69は綻びる
fact1: あのみにゃみにLv.59は絡み付く fact2: あのみにゃみにLv.59は綻びる fact3: もし仮に「あのぷにゃぷくLv.69は恨みがましい」ということは確かであるならば逆輸入する fact4: あのみにゃみにLv.59は絡み付くしその上受け易い fact5: もしあのぷにゃぷくLv.69が逆輸入するかまたはそれが裏打ちすればあのぷにゃぷくLv.69は綻びない fact6: あのみにゃみにLv.59は絡み付くかそれは逆輸入する fact7: もしもあのみにゃみにLv.59が受け易いならばあのぷにゃぷくLv.69は恨みがましい fact8: 仮にあのぷにゃぷくLv.69が裏打ちするとしたらあのぷにゃぷくLv.69は綻びない
fact4 -> int1: あのみにゃみにLv.59は受け易い; int1 & fact7 -> int2: あのぷにゃぷくLv.69は恨みがましい; int2 & fact3 -> int3: 「あのぷにゃぷくLv.69は逆輸入する」ということは本当である; int3 -> int4: あのぷにゃぷくLv.69は逆輸入するか裏打ちする; int4 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 -> int4: ({D}{b} v {E}{b}); int4 & fact5 -> hypothesis;
$facts$ = fact1: あのみにゃみにLv.59は絡み付く fact2: あのみにゃみにLv.59は綻びる fact3: もし仮に「あのぷにゃぷくLv.69は恨みがましい」ということは確かであるならば逆輸入する fact4: あのみにゃみにLv.59は絡み付くしその上受け易い fact5: もしあのぷにゃぷくLv.69が逆輸入するかまたはそれが裏打ちすればあのぷにゃぷくLv.69は綻びない fact6: あのみにゃみにLv.59は絡み付くかそれは逆輸入する fact7: もしもあのみにゃみにLv.59が受け易いならばあのぷにゃぷくLv.69は恨みがましい fact8: 仮にあのぷにゃぷくLv.69が裏打ちするとしたらあのぷにゃぷくLv.69は綻びない ; $hypothesis$ = あのぷにゃぷくLv.69は綻びる ; $proof$ = 
fact4 -> int1: あのみにゃみにLv.59は受け易い; int1 & fact7 -> int2: あのぷにゃぷくLv.69は恨みがましい; int2 & fact3 -> int3: 「あのぷにゃぷくLv.69は逆輸入する」ということは本当である; int3 -> int4: あのぷにゃぷくLv.69は逆輸入するか裏打ちする; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 -> int4: ({D}{b} v {E}{b}); int4 & fact5 -> hypothesis; __DISPROVED__