あの拾い草は恨めしくないしまたそれはしくじらない
fact1: 「あの拾い草は恨めしいけどそれはしくじらない」ということは成り立たない fact2: もしも「その赤貝は発生し易くて在籍する」ということは嘘であるならばそれはアラブ主義でない fact3: 「なんらかのものは見え辛くないが薬臭い」ということは成り立たないとしたら「それは核兵器廃絶だ」ということは事実である fact4: もしもその赤貝は隠せるなら「見え辛くないしさらにそれは薬臭い」ということは誤りである fact5: その赤貝はアラブ主義でないとすれば「あの拾い草は恨めしいがしくじらない」ということは成り立たない fact6: 「あの拾い草は恨めしくないがしかしそれはしくじる」ということは偽である fact7: 「その赤貝は発生し易いし在籍する」ということは間違っている fact8: もし仮に規則正しくない物は第○○条であるならそれはしくじる fact9: 仮に「その赤貝はアラブ主義でない」ということは成り立つなら「あの拾い草は恨めしくない一方でしくじる」ということは成り立つということはない fact10: もしも「その赤貝は発生し易くない」ということは確かであるとすればアラブ主義でない fact11: もしその赤貝が核兵器廃絶ならこのインテンシティーは規則正しくない物であってまた第○○条だ fact12: その赤貝は隠せる fact13: もしもその赤貝はアラブ主義でないとしたら「あの拾い草は恨めしくなくて加えてしくじらない」ということは嘘だ fact14: 何らかのものがしくじるならそれはアラブ主義である
fact2 & fact7 -> int1: その赤貝はアラブ主義であるということはない; int1 & fact13 -> hypothesis;
このインテンシティーは在籍するということはない
fact17 -> int2: もし仮にこのインテンシティーがしくじるとすればアラブ主義である; fact16 -> int3: このインテンシティーは規則正しくないが第○○条であるとするとしくじる; fact19 -> int4: もし仮に「その赤貝は見え辛くない一方でそれは薬臭い」ということは誤っていれば核兵器廃絶だ; fact15 & fact18 -> int5: 「その赤貝は見え辛くないが薬臭い」ということは成り立たない; int4 & int5 -> int6: 「その赤貝は核兵器廃絶である」ということは成り立つ; fact20 & int6 -> int7: このインテンシティーは規則正しくない一方で第○○条である; int3 & int7 -> int8: このインテンシティーはしくじる; int2 & int8 -> int9: このインテンシティーはアラブ主義だ;
$facts$ = fact1: 「あの拾い草は恨めしいけどそれはしくじらない」ということは成り立たない fact2: もしも「その赤貝は発生し易くて在籍する」ということは嘘であるならばそれはアラブ主義でない fact3: 「なんらかのものは見え辛くないが薬臭い」ということは成り立たないとしたら「それは核兵器廃絶だ」ということは事実である fact4: もしもその赤貝は隠せるなら「見え辛くないしさらにそれは薬臭い」ということは誤りである fact5: その赤貝はアラブ主義でないとすれば「あの拾い草は恨めしいがしくじらない」ということは成り立たない fact6: 「あの拾い草は恨めしくないがしかしそれはしくじる」ということは偽である fact7: 「その赤貝は発生し易いし在籍する」ということは間違っている fact8: もし仮に規則正しくない物は第○○条であるならそれはしくじる fact9: 仮に「その赤貝はアラブ主義でない」ということは成り立つなら「あの拾い草は恨めしくない一方でしくじる」ということは成り立つということはない fact10: もしも「その赤貝は発生し易くない」ということは確かであるとすればアラブ主義でない fact11: もしその赤貝が核兵器廃絶ならこのインテンシティーは規則正しくない物であってまた第○○条だ fact12: その赤貝は隠せる fact13: もしもその赤貝はアラブ主義でないとしたら「あの拾い草は恨めしくなくて加えてしくじらない」ということは嘘だ fact14: 何らかのものがしくじるならそれはアラブ主義である ; $hypothesis$ = あの拾い草は恨めしくないしまたそれはしくじらない ; $proof$ = 
fact2 & fact7 -> int1: その赤貝はアラブ主義であるということはない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 「あの拾い草は恨めしいけどそれはしくじらない」ということは成り立たない
事実2: もしも「その赤貝は発生し易くて在籍する」ということは嘘であるならばそれはアラブ主義でない
事実3: 「なんらかのものは見え辛くないが薬臭い」ということは成り立たないとしたら「それは核兵器廃絶だ」ということは事実である
事実4: もしもその赤貝は隠せるなら「見え辛くないしさらにそれは薬臭い」ということは誤りである
事実5: その赤貝はアラブ主義でないとすれば「あの拾い草は恨めしいがしくじらない」ということは成り立たない
事実6: 「あの拾い草は恨めしくないがしかしそれはしくじる」ということは偽である
事実7: 「その赤貝は発生し易いし在籍する」ということは間違っている
事実8: もし仮に規則正しくない物は第○○条であるならそれはしくじる
事実9: 仮に「その赤貝はアラブ主義でない」ということは成り立つなら「あの拾い草は恨めしくない一方でしくじる」ということは成り立つということはない
事実10: もしも「その赤貝は発生し易くない」ということは確かであるとすればアラブ主義でない
事実11: もしその赤貝が核兵器廃絶ならこのインテンシティーは規則正しくない物であってまた第○○条だ
事実12: その赤貝は隠せる
事実13: もしもその赤貝はアラブ主義でないとしたら「あの拾い草は恨めしくなくて加えてしくじらない」ということは嘘だ
事実14: 何らかのものがしくじるならそれはアラブ主義である

仮説: あの拾い草は恨めしくないしまたそれはしくじらない
1. 事実2と事実7から、推論1: "その赤貝はアラブ主義であるということはない"が導かれる
2. 推論1と事実13から、仮説が否定される

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