その触手は外輪山だ
fact1: その触手は石油備蓄基地だ fact2: その触手は全労働者である fact3: その固有色名は堪り易くないか合併し易くないかまたは両方ともだ fact4: あの封建社会は肌寒くないか減り続けないかもしくはどちらもだ fact5: 「石油備蓄基地であるということはないかあるいは外輪山でないかまたはどちらもな」ものはある fact6: そのバイク販売店は生徒自らだ fact7: その一族諸共は全労働者だ fact8: あの封建社会は全労働者でないかまたは外輪山でないかもしくは両方である fact9: もしも「全労働者でないか石油備蓄基地でないかあるいは両方な」物があるならその触手は外輪山だ fact10: 仮に「石油備蓄基地でないかあるいは全労働者でないかあるいは両方ともな」ものがあるならあの封建社会は外輪山だ fact11: 「あの封建社会はラジオ放送しないかそれはリモート・アシスタンスでないかもしくはどちらもだ」ということは真実である fact12: あの封建社会は全労働者だということはないかそれは石油備蓄基地だ fact13: 何らかのものは外輪山でないかもしくは全労働者でないか両方ともである fact14: その触手はチェックす fact15: なんらかの物は全労働者でないかそれは外輪山でないか両方ともである fact16: とある物は全労働者であるかもしくは石油備蓄基地でないかもしくは両方だ fact17: あの封建社会は全労働者であるかあるいは石油備蓄基地だということはない fact18: なにがしかのものは堪り易くないかそれは乗っける fact19: あの封建社会は外輪山でないかまたは全労働者でない fact20: 「外輪山でないかまたは石油備蓄基地であるか両方な」ものはある fact21: あの封建社会は石油備蓄基地でない fact22: あの封建社会は頸静脈怒張でないかもしくは装い続けるということはないかあるいは両方だ
fact21 -> int1: あの封建社会は全労働者でないかまたは石油備蓄基地でない; int1 -> int2: なにかは全労働者であるということはないかもしくは石油備蓄基地でない; int2 & fact9 -> hypothesis;
fact21 -> int1: (¬{A}{a} v ¬{B}{a}); int1 -> int2: (Ex): (¬{A}x v ¬{B}x); int2 & fact9 -> hypothesis;
「その触手は外輪山でない」ということは正しい
$facts$ = fact1: その触手は石油備蓄基地だ fact2: その触手は全労働者である fact3: その固有色名は堪り易くないか合併し易くないかまたは両方ともだ fact4: あの封建社会は肌寒くないか減り続けないかもしくはどちらもだ fact5: 「石油備蓄基地であるということはないかあるいは外輪山でないかまたはどちらもな」ものはある fact6: そのバイク販売店は生徒自らだ fact7: その一族諸共は全労働者だ fact8: あの封建社会は全労働者でないかまたは外輪山でないかもしくは両方である fact9: もしも「全労働者でないか石油備蓄基地でないかあるいは両方な」物があるならその触手は外輪山だ fact10: 仮に「石油備蓄基地でないかあるいは全労働者でないかあるいは両方ともな」ものがあるならあの封建社会は外輪山だ fact11: 「あの封建社会はラジオ放送しないかそれはリモート・アシスタンスでないかもしくはどちらもだ」ということは真実である fact12: あの封建社会は全労働者だということはないかそれは石油備蓄基地だ fact13: 何らかのものは外輪山でないかもしくは全労働者でないか両方ともである fact14: その触手はチェックす fact15: なんらかの物は全労働者でないかそれは外輪山でないか両方ともである fact16: とある物は全労働者であるかもしくは石油備蓄基地でないかもしくは両方だ fact17: あの封建社会は全労働者であるかあるいは石油備蓄基地だということはない fact18: なにがしかのものは堪り易くないかそれは乗っける fact19: あの封建社会は外輪山でないかまたは全労働者でない fact20: 「外輪山でないかまたは石油備蓄基地であるか両方な」ものはある fact21: あの封建社会は石油備蓄基地でない fact22: あの封建社会は頸静脈怒張でないかもしくは装い続けるということはないかあるいは両方だ ; $hypothesis$ = その触手は外輪山だ ; $proof$ = 
fact21 -> int1: あの封建社会は全労働者でないかまたは石油備蓄基地でない; int1 -> int2: なにかは全労働者であるということはないかもしくは石油備蓄基地でない; int2 & fact9 -> hypothesis; __PROVED__
事実1: その触手は石油備蓄基地だ
事実2: その触手は全労働者である
事実3: その固有色名は堪り易くないか合併し易くないかまたは両方ともだ
事実4: あの封建社会は肌寒くないか減り続けないかもしくはどちらもだ
事実5: 「石油備蓄基地であるということはないかあるいは外輪山でないかまたはどちらもな」ものはある
事実6: そのバイク販売店は生徒自らだ
事実7: その一族諸共は全労働者だ
事実8: あの封建社会は全労働者でないかまたは外輪山でないかもしくは両方である
事実9: もしも「全労働者でないか石油備蓄基地でないかあるいは両方な」物があるならその触手は外輪山だ
事実10: 仮に「石油備蓄基地でないかあるいは全労働者でないかあるいは両方ともな」ものがあるならあの封建社会は外輪山だ
事実11: 「あの封建社会はラジオ放送しないかそれはリモート・アシスタンスでないかもしくはどちらもだ」ということは真実である
事実12: あの封建社会は全労働者だということはないかそれは石油備蓄基地だ
事実13: 何らかのものは外輪山でないかもしくは全労働者でないか両方ともである
事実14: その触手はチェックす
事実15: なんらかの物は全労働者でないかそれは外輪山でないか両方ともである
事実16: とある物は全労働者であるかもしくは石油備蓄基地でないかもしくは両方だ
事実17: あの封建社会は全労働者であるかあるいは石油備蓄基地だということはない
事実18: なにがしかのものは堪り易くないかそれは乗っける
事実19: あの封建社会は外輪山でないかまたは全労働者でない
事実20: 「外輪山でないかまたは石油備蓄基地であるか両方な」ものはある
事実21: あの封建社会は石油備蓄基地でない
事実22: あの封建社会は頸静脈怒張でないかもしくは装い続けるということはないかあるいは両方だ

仮説: その触手は外輪山だ
1. 事実21から、推論1: "あの封建社会は全労働者でないかまたは石油備蓄基地でない"が導かれる
2. 推論1から、推論2: "なにかは全労働者であるということはないかもしくは石油備蓄基地でない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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