そのぷにゃぷにょLv.40は合い難くない
fact1: そのもにょもにゅLv.2が気忙しいならばそのぷにゃぷにょLv.40は誘発し易い fact2: もし仮にあのものもわLv.48が理解し辛いとすればそのもにょもにゅLv.2は擦り合わせる fact3: もしもあのものもわLv.48がプログラムするとするとそのもにょもにゅLv.2は擦り合わせる fact4: すべてのモンスターはプログラムするかもしくは理解し辛いか両方だ fact5: もしもそのもにょもにゅLv.2が擦り合わせればそのもにょもにゅLv.2は気忙しい fact6: そのぷにゃぷにょLv.40は誘発し易いとしたら「そのぷにゃぷにょLv.40は合い難い」ということは確かだ
fact4 -> int1: あのものもわLv.48はプログラムするかそれは理解し辛い; int1 & fact3 & fact2 -> int2: 「そのもにょもにゅLv.2は擦り合わせる」ということは真実である; int2 & fact5 -> int3: 「そのもにょもにゅLv.2は気忙しい」ということは成り立つ; int3 & fact1 -> int4: 「そのぷにゃぷにょLv.40は誘発し易い」ということは事実だ; int4 & fact6 -> hypothesis;
fact4 -> int1: ({A}{aa} v {B}{aa}); int1 & fact3 & fact2 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact1 -> int4: {E}{b}; int4 & fact6 -> hypothesis;
$facts$ = fact1: そのもにょもにゅLv.2が気忙しいならばそのぷにゃぷにょLv.40は誘発し易い fact2: もし仮にあのものもわLv.48が理解し辛いとすればそのもにょもにゅLv.2は擦り合わせる fact3: もしもあのものもわLv.48がプログラムするとするとそのもにょもにゅLv.2は擦り合わせる fact4: すべてのモンスターはプログラムするかもしくは理解し辛いか両方だ fact5: もしもそのもにょもにゅLv.2が擦り合わせればそのもにょもにゅLv.2は気忙しい fact6: そのぷにゃぷにょLv.40は誘発し易いとしたら「そのぷにゃぷにょLv.40は合い難い」ということは確かだ ; $hypothesis$ = そのぷにゃぷにょLv.40は合い難くない ; $proof$ = 
fact4 -> int1: あのものもわLv.48はプログラムするかそれは理解し辛い; int1 & fact3 & fact2 -> int2: 「そのもにょもにゅLv.2は擦り合わせる」ということは真実である; int2 & fact5 -> int3: 「そのもにょもにゅLv.2は気忙しい」ということは成り立つ; int3 & fact1 -> int4: 「そのぷにゃぷにょLv.40は誘発し易い」ということは事実だ; int4 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{aa} v {B}{aa}); int1 & fact3 & fact2 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact1 -> int4: {E}{b}; int4 & fact6 -> hypothesis; __DISPROVED__