「あの同基準は選択し易くないけれど目敏い」ということは嘘だ
fact1: あの同基準は目敏い fact2: あの十三本キャストは選択し易くない fact3: もし仮に「あの常在菌は監査でない」ということは事実と異ならないとしたらあの同基準は選択し易いということはないがしかし目敏い fact4: あの常在菌は目敏い fact5: もしもなんらかの物は監査だとすると「それは選択し易くないし目敏い」ということは嘘である fact6: もし仮に「なにがしかのものは厳めしいしまた打ち抜く」ということは成り立たないとするとそれは厳めしいということはない fact7: 仮にあの常在菌が目敏くないとすればあの同基準は選択し易くないけれど監査である fact8: もし「あの常在菌は監査だということはない」ということは間違っていないとするとあの同基準は目敏い fact9: もし仮になにがしかのものが厳めしかないならそれは寂しがるし監査である fact10: 仮にあの同基準が監査であるということはないとすればあの常在菌は選択し易くないけれどそれは目敏い fact11: あの常在菌は監査だということはない
fact3 & fact11 -> hypothesis;
fact3 & fact11 -> hypothesis;
「あの同基準は選択し易くないがそれは目敏い」ということは嘘だ
fact14 -> int1: もし仮にあの同基準は監査だとすれば「選択し易くないが目敏い」ということは間違いだ; fact12 -> int2: もしあの同基準が厳めしくらないとしたら寂しがるし監査だ; fact13 -> int3: もし「あの同基準は厳めしいしかつ打ち抜く」ということは成り立たないならそれは厳めしかない;
$facts$ = fact1: あの同基準は目敏い fact2: あの十三本キャストは選択し易くない fact3: もし仮に「あの常在菌は監査でない」ということは事実と異ならないとしたらあの同基準は選択し易いということはないがしかし目敏い fact4: あの常在菌は目敏い fact5: もしもなんらかの物は監査だとすると「それは選択し易くないし目敏い」ということは嘘である fact6: もし仮に「なにがしかのものは厳めしいしまた打ち抜く」ということは成り立たないとするとそれは厳めしいということはない fact7: 仮にあの常在菌が目敏くないとすればあの同基準は選択し易くないけれど監査である fact8: もし「あの常在菌は監査だということはない」ということは間違っていないとするとあの同基準は目敏い fact9: もし仮になにがしかのものが厳めしかないならそれは寂しがるし監査である fact10: 仮にあの同基準が監査であるということはないとすればあの常在菌は選択し易くないけれどそれは目敏い fact11: あの常在菌は監査だということはない ; $hypothesis$ = 「あの同基準は選択し易くないけれど目敏い」ということは嘘だ ; $proof$ = 
fact3 & fact11 -> hypothesis; __DISPROVED__
事実1: あの同基準は目敏い
事実2: あの十三本キャストは選択し易くない
事実3: もし仮に「あの常在菌は監査でない」ということは事実と異ならないとしたらあの同基準は選択し易いということはないがしかし目敏い
事実4: あの常在菌は目敏い
事実5: もしもなんらかの物は監査だとすると「それは選択し易くないし目敏い」ということは嘘である
事実6: もし仮に「なにがしかのものは厳めしいしまた打ち抜く」ということは成り立たないとするとそれは厳めしいということはない
事実7: 仮にあの常在菌が目敏くないとすればあの同基準は選択し易くないけれど監査である
事実8: もし「あの常在菌は監査だということはない」ということは間違っていないとするとあの同基準は目敏い
事実9: もし仮になにがしかのものが厳めしかないならそれは寂しがるし監査である
事実10: 仮にあの同基準が監査であるということはないとすればあの常在菌は選択し易くないけれどそれは目敏い
事実11: あの常在菌は監査だということはない

仮説: 「あの同基準は選択し易くないけれど目敏い」ということは嘘だ
1. 事実3と事実11から、仮説が否定される

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