「このまよまゆLv.19は立ち働かない」ということは成り立つ
fact1: 「あのみにみちょLv.89は胡椒する」ということは成り立つ fact2: そのまねまちゅLv.33は歩き易い fact3: 「全てのモンスターは胡椒する」ということは真実だ fact4: あらゆるモンスターが入り辛いしその上胡椒する fact5: もしそのまねまちゅLv.33が立ち働くということはないし入り辛くないとしたらこのまよまゆLv.19は立ち働く fact6: 「そのまねまちゅLv.33は入り辛いし歩き易い」ということは確かであるとすればこのまよまゆLv.19は立ち働かない
fact4 -> int1: そのまねまちゅLv.33は入り辛くてそれに胡椒する; int1 -> int2: そのまねまちゅLv.33は入り辛い; int2 & fact2 -> int3: そのまねまちゅLv.33は入り辛いしその上歩き易い; int3 & fact6 -> hypothesis;
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact2 -> int3: ({A}{a} & {C}{a}); int3 & fact6 -> hypothesis;
このまよまゆLv.19は立ち働く
$facts$ = fact1: 「あのみにみちょLv.89は胡椒する」ということは成り立つ fact2: そのまねまちゅLv.33は歩き易い fact3: 「全てのモンスターは胡椒する」ということは真実だ fact4: あらゆるモンスターが入り辛いしその上胡椒する fact5: もしそのまねまちゅLv.33が立ち働くということはないし入り辛くないとしたらこのまよまゆLv.19は立ち働く fact6: 「そのまねまちゅLv.33は入り辛いし歩き易い」ということは確かであるとすればこのまよまゆLv.19は立ち働かない ; $hypothesis$ = 「このまよまゆLv.19は立ち働かない」ということは成り立つ ; $proof$ = 
fact4 -> int1: そのまねまちゅLv.33は入り辛くてそれに胡椒する; int1 -> int2: そのまねまちゅLv.33は入り辛い; int2 & fact2 -> int3: そのまねまちゅLv.33は入り辛いしその上歩き易い; int3 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact2 -> int3: ({A}{a} & {C}{a}); int3 & fact6 -> hypothesis; __PROVED__