そのまわまやLv.1はイメージし易い
fact1: もしも「模刻するかまたは寒ーい」モンスターがいるとすればそのまわまやLv.1はイメージし易い fact2: あのぽちゅぽちゃLv.5が迷い易くないし若者らしくないならあのぽちゅぽちゃLv.5は売却出来る fact3: もしも寒ーいモンスターがいるならそのまわまやLv.1はイメージし易い fact4: もしあのぽちゅぽちゃLv.5が迷い易いがしかし若者らしくないとするとあのぽちゅぽちゃLv.5は売却出来る fact5: 「あのぽちゅぽちゃLv.5は迷い易くなくて若者らしいということはない」ということは確かだ fact6: もし仮にあのぽちゅぽちゃLv.5が売却出来るとするとこのまにゅまわLv.9は模刻する
fact2 & fact5 -> int1: あのぽちゅぽちゃLv.5は売却出来る; int1 & fact6 -> int2: このまにゅまわLv.9は模刻する; int2 -> int3: このまにゅまわLv.9は模刻するかもしくは寒ーいかあるいはどちらもである; int3 -> int4: あるモンスターは模刻するかもしくは寒ーい; int4 & fact1 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{b}; int2 -> int3: ({A}{b} v {C}{b}); int3 -> int4: (Ex): ({A}x v {C}x); int4 & fact1 -> hypothesis;
$facts$ = fact1: もしも「模刻するかまたは寒ーい」モンスターがいるとすればそのまわまやLv.1はイメージし易い fact2: あのぽちゅぽちゃLv.5が迷い易くないし若者らしくないならあのぽちゅぽちゃLv.5は売却出来る fact3: もしも寒ーいモンスターがいるならそのまわまやLv.1はイメージし易い fact4: もしあのぽちゅぽちゃLv.5が迷い易いがしかし若者らしくないとするとあのぽちゅぽちゃLv.5は売却出来る fact5: 「あのぽちゅぽちゃLv.5は迷い易くなくて若者らしいということはない」ということは確かだ fact6: もし仮にあのぽちゅぽちゃLv.5が売却出来るとするとこのまにゅまわLv.9は模刻する ; $hypothesis$ = そのまわまやLv.1はイメージし易い ; $proof$ = 
fact2 & fact5 -> int1: あのぽちゅぽちゃLv.5は売却出来る; int1 & fact6 -> int2: このまにゅまわLv.9は模刻する; int2 -> int3: このまにゅまわLv.9は模刻するかもしくは寒ーいかあるいはどちらもである; int3 -> int4: あるモンスターは模刻するかもしくは寒ーい; int4 & fact1 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{b}; int2 -> int3: ({A}{b} v {C}{b}); int3 -> int4: (Ex): ({A}x v {C}x); int4 & fact1 -> hypothesis; __PROVED__