この州間は腹ばう
fact1: 仮にこの管理部門が入封するし解消すとするとこの州間は腹ばわない fact2: もし「この管理部門は腹ばう」ということは真実ならばこの州間は腹ばう fact3: もしもあるものがちょん切ればそれは腹ばわない一方で武術である fact4: 仮にこの管理部門が武術であるけれどちょん切らないならば入封する fact5: 「この管理部門は塗り易い」ということは本当だ fact6: もし仮にこの管理部門が塗り易いならば解消す fact7: この管理部門は武術だがしかしちょん切らない
fact6 & fact5 -> int1: この管理部門は解消す; fact7 & fact4 -> int2: この管理部門は入封する; int1 & int2 -> int3: この管理部門は入封するし更に解消す; int3 & fact1 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; fact7 & fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 & fact1 -> hypothesis;
あのもんじゃは入封しない
fact8 -> int4: もしもその国語科学講座がちょん切れば腹ばうということはないが武術だ;
$facts$ = fact1: 仮にこの管理部門が入封するし解消すとするとこの州間は腹ばわない fact2: もし「この管理部門は腹ばう」ということは真実ならばこの州間は腹ばう fact3: もしもあるものがちょん切ればそれは腹ばわない一方で武術である fact4: 仮にこの管理部門が武術であるけれどちょん切らないならば入封する fact5: 「この管理部門は塗り易い」ということは本当だ fact6: もし仮にこの管理部門が塗り易いならば解消す fact7: この管理部門は武術だがしかしちょん切らない ; $hypothesis$ = この州間は腹ばう ; $proof$ = 
fact6 & fact5 -> int1: この管理部門は解消す; fact7 & fact4 -> int2: この管理部門は入封する; int1 & int2 -> int3: この管理部門は入封するし更に解消す; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの管理部門が入封するし解消すとするとこの州間は腹ばわない
事実2: もし「この管理部門は腹ばう」ということは真実ならばこの州間は腹ばう
事実3: もしもあるものがちょん切ればそれは腹ばわない一方で武術である
事実4: 仮にこの管理部門が武術であるけれどちょん切らないならば入封する
事実5: 「この管理部門は塗り易い」ということは本当だ
事実6: もし仮にこの管理部門が塗り易いならば解消す
事実7: この管理部門は武術だがしかしちょん切らない

仮説: この州間は腹ばう
1. 事実6と事実5から、推論1: "この管理部門は解消す"が導かれる
2. 事実7と事実4から、推論2: "この管理部門は入封する"が導かれる
3. 推論1と推論2から、推論3: "この管理部門は入封するし更に解消す"が導かれる
4. 推論3と事実1から、仮説が否定される

よって、仮説が否定されました。