「「維持管理するし入場行進である」物はある」ということは誤っている
fact1: あのエイトマクロは維持管理する fact2: あるものは恨む fact3: 「維持管理する」ものはある fact4: あのエイトマクロは入場行進だ fact5: 「「援助・介入である一方で輩出しない」ということは成り立たない」物はある fact6: 「入場行進である」ものはある fact7: 「あのエイトマクロは費用負担でない」ということは事実だとしたらあの利子等は維持管理するかもしくは傍観するかまたはどちらもである fact8: もし仮に「なんらかのものは輩出する」ということは真実であるならそれは荒くないかニット帽でないかもしくは両方だ fact9: あの惰眠は維持管理する fact10: 「「援助・介入だがしかし輩出するということはない」ということは成り立つということはない」物があるとするとあのエイトマクロは輩出する
fact1 & fact4 -> int1: あのエイトマクロは維持管理するしそれに入場行進である; int1 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
あの利子等は入場行進だ
fact12 -> int2: 仮にあのエイトマクロが輩出するとしたらそれは荒くないかあるいはニット帽でないか両方ともである; fact13 & fact14 -> int3: あのエイトマクロは輩出する; int2 & int3 -> int4: あのエイトマクロは荒くないかもしくはそれはニット帽でないかまたは両方ともだ;
$facts$ = fact1: あのエイトマクロは維持管理する fact2: あるものは恨む fact3: 「維持管理する」ものはある fact4: あのエイトマクロは入場行進だ fact5: 「「援助・介入である一方で輩出しない」ということは成り立たない」物はある fact6: 「入場行進である」ものはある fact7: 「あのエイトマクロは費用負担でない」ということは事実だとしたらあの利子等は維持管理するかもしくは傍観するかまたはどちらもである fact8: もし仮に「なんらかのものは輩出する」ということは真実であるならそれは荒くないかニット帽でないかもしくは両方だ fact9: あの惰眠は維持管理する fact10: 「「援助・介入だがしかし輩出するということはない」ということは成り立つということはない」物があるとするとあのエイトマクロは輩出する ; $hypothesis$ = 「「維持管理するし入場行進である」物はある」ということは誤っている ; $proof$ = 
fact1 & fact4 -> int1: あのエイトマクロは維持管理するしそれに入場行進である; int1 -> hypothesis; __DISPROVED__
事実1: あのエイトマクロは維持管理する
事実2: あるものは恨む
事実3: 「維持管理する」ものはある
事実4: あのエイトマクロは入場行進だ
事実5: 「「援助・介入である一方で輩出しない」ということは成り立たない」物はある
事実6: 「入場行進である」ものはある
事実7: 「あのエイトマクロは費用負担でない」ということは事実だとしたらあの利子等は維持管理するかもしくは傍観するかまたはどちらもである
事実8: もし仮に「なんらかのものは輩出する」ということは真実であるならそれは荒くないかニット帽でないかもしくは両方だ
事実9: あの惰眠は維持管理する
事実10: 「「援助・介入だがしかし輩出するということはない」ということは成り立つということはない」物があるとするとあのエイトマクロは輩出する

仮説: 「「維持管理するし入場行進である」物はある」ということは誤っている
1. 事実1と事実4から、推論1: "あのエイトマクロは維持管理するしそれに入場行進である"が導かれる
2. 推論1から、仮説が否定される

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