あの平和主義は女性像でない
fact1: この業態間は反発し合う fact2: 仮にこの業態間は反発し合うとすれば「その読み書き能力は相殺消去するということはないしおまけにそれは動き難くない」ということは成り立たない fact3: この業態間は反発し合うとすると「あの平和主義は相殺消去しなくてまた女性像でない」ということは間違っている fact4: このコルヒチンは反発し合う fact5: もし仮に「その読み書き能力は相殺消去しないしさらに動き難くない」ということは嘘だとするとあの平和主義は女性像だということはない
fact2 & fact1 -> int1: 「その読み書き能力は相殺消去しないししかもそれは動き難くない」ということは成り立つということはない; int1 & fact5 -> hypothesis;
$facts$ = fact1: この業態間は反発し合う fact2: 仮にこの業態間は反発し合うとすれば「その読み書き能力は相殺消去するということはないしおまけにそれは動き難くない」ということは成り立たない fact3: この業態間は反発し合うとすると「あの平和主義は相殺消去しなくてまた女性像でない」ということは間違っている fact4: このコルヒチンは反発し合う fact5: もし仮に「その読み書き能力は相殺消去しないしさらに動き難くない」ということは嘘だとするとあの平和主義は女性像だということはない ; $hypothesis$ = あの平和主義は女性像でない ; $proof$ = 
fact2 & fact1 -> int1: 「その読み書き能力は相殺消去しないししかもそれは動き難くない」ということは成り立つということはない; int1 & fact5 -> hypothesis; __PROVED__
事実1: この業態間は反発し合う
事実2: 仮にこの業態間は反発し合うとすれば「その読み書き能力は相殺消去するということはないしおまけにそれは動き難くない」ということは成り立たない
事実3: この業態間は反発し合うとすると「あの平和主義は相殺消去しなくてまた女性像でない」ということは間違っている
事実4: このコルヒチンは反発し合う
事実5: もし仮に「その読み書き能力は相殺消去しないしさらに動き難くない」ということは嘘だとするとあの平和主義は女性像だということはない

仮説: あの平和主義は女性像でない
1. 事実2と事実1から、推論1: "「その読み書き能力は相殺消去しないししかもそれは動き難くない」ということは成り立つということはない"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。