この水上艦船は卑し
fact1: 「割れ易い一方で被写でない」ものはある fact2: もし仮に「何かは可笑しくないし加えてそれは架設するということはない」ということは真実だということはないならば捜し当てない fact3: もし「卑しということはない」ものがあればこの水上艦船は捜し当てないし架設しない fact4: 「出勤しない」物があるとしたらそのラバージョイントは特攻でない fact5: この水上艦船は十二時間後でない fact6: もし仮にあの太陰暦は得易くないとしたら「可笑しくないししかも架設するということはない」ということは正しくない fact7: もし仮に「何かは卑しない一方で架設する」ということは成り立てば「この水上艦船は捜し当てない」ということは本当だ fact8: 「捜し当てるということはない」物があるならあの太陰暦は卑しない fact9: あの太陰暦は架設しない fact10: ある物が捜し当てないしおまけに架設しないならこの水上艦船は卑しない fact11: あの主治医は生活用具でないけれど理解し難い fact12: 「「追求しない」ということは正しい」物はある fact13: 「溜め込み易いということはない」物はある fact14: もしも卑しない物が架設するとするとあの太陰暦は捜し当てない fact15: 「引き始めない」ものはある fact16: 「捜し当てないし卑し」ものがあればこの水上艦船は架設しない fact17: もし仮に「あの太陰暦は卑し」ということは真実だとするとこの水上艦船は卑し fact18: 「引き始めない」物があるならばあの太陰暦は出勤しない fact19: なにがしかのものが引き始めるということはないならあの太陰暦は捜し当てないしまた架設しない fact20: もしも「卑しない」ものがあるならあの太陰暦は捜し当てないししかも架設するということはない
fact15 & fact19 -> int1: あの太陰暦は捜し当てないし加えて架設しない; int1 -> int2: 「捜し当てないしかつ架設しない」ものはある; int2 & fact10 -> hypothesis;
この水上艦船は卑し
fact21 -> int3: 仮に「あの太陰暦が可笑しくないしさらに架設しない」ということは事実と異なるとするとそれは捜し当てない; fact22 -> int4: あるものは生活用具でないが理解し難い;
$facts$ = fact1: 「割れ易い一方で被写でない」ものはある fact2: もし仮に「何かは可笑しくないし加えてそれは架設するということはない」ということは真実だということはないならば捜し当てない fact3: もし「卑しということはない」ものがあればこの水上艦船は捜し当てないし架設しない fact4: 「出勤しない」物があるとしたらそのラバージョイントは特攻でない fact5: この水上艦船は十二時間後でない fact6: もし仮にあの太陰暦は得易くないとしたら「可笑しくないししかも架設するということはない」ということは正しくない fact7: もし仮に「何かは卑しない一方で架設する」ということは成り立てば「この水上艦船は捜し当てない」ということは本当だ fact8: 「捜し当てるということはない」物があるならあの太陰暦は卑しない fact9: あの太陰暦は架設しない fact10: ある物が捜し当てないしおまけに架設しないならこの水上艦船は卑しない fact11: あの主治医は生活用具でないけれど理解し難い fact12: 「「追求しない」ということは正しい」物はある fact13: 「溜め込み易いということはない」物はある fact14: もしも卑しない物が架設するとするとあの太陰暦は捜し当てない fact15: 「引き始めない」ものはある fact16: 「捜し当てないし卑し」ものがあればこの水上艦船は架設しない fact17: もし仮に「あの太陰暦は卑し」ということは真実だとするとこの水上艦船は卑し fact18: 「引き始めない」物があるならばあの太陰暦は出勤しない fact19: なにがしかのものが引き始めるということはないならあの太陰暦は捜し当てないしまた架設しない fact20: もしも「卑しない」ものがあるならあの太陰暦は捜し当てないししかも架設するということはない ; $hypothesis$ = この水上艦船は卑し ; $proof$ = 
fact15 & fact19 -> int1: あの太陰暦は捜し当てないし加えて架設しない; int1 -> int2: 「捜し当てないしかつ架設しない」ものはある; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「割れ易い一方で被写でない」ものはある
事実2: もし仮に「何かは可笑しくないし加えてそれは架設するということはない」ということは真実だということはないならば捜し当てない
事実3: もし「卑しということはない」ものがあればこの水上艦船は捜し当てないし架設しない
事実4: 「出勤しない」物があるとしたらそのラバージョイントは特攻でない
事実5: この水上艦船は十二時間後でない
事実6: もし仮にあの太陰暦は得易くないとしたら「可笑しくないししかも架設するということはない」ということは正しくない
事実7: もし仮に「何かは卑しない一方で架設する」ということは成り立てば「この水上艦船は捜し当てない」ということは本当だ
事実8: 「捜し当てるということはない」物があるならあの太陰暦は卑しない
事実9: あの太陰暦は架設しない
事実10: ある物が捜し当てないしおまけに架設しないならこの水上艦船は卑しない
事実11: あの主治医は生活用具でないけれど理解し難い
事実12: 「「追求しない」ということは正しい」物はある
事実13: 「溜め込み易いということはない」物はある
事実14: もしも卑しない物が架設するとするとあの太陰暦は捜し当てない
事実15: 「引き始めない」ものはある
事実16: 「捜し当てないし卑し」ものがあればこの水上艦船は架設しない
事実17: もし仮に「あの太陰暦は卑し」ということは真実だとするとこの水上艦船は卑し
事実18: 「引き始めない」物があるならばあの太陰暦は出勤しない
事実19: なにがしかのものが引き始めるということはないならあの太陰暦は捜し当てないしまた架設しない
事実20: もしも「卑しない」ものがあるならあの太陰暦は捜し当てないししかも架設するということはない

仮説: この水上艦船は卑し
1. 事実15と事実19から、推論1: "あの太陰暦は捜し当てないし加えて架設しない"が導かれる
2. 推論1から、推論2: "「捜し当てないしかつ架設しない」ものはある"が導かれる
3. 推論2と事実10から、仮説が否定される

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