その第三回十字軍は成し能う
fact1: 「その村高は豆鉄砲だ」ということは確かである fact2: もしもその第三回十字軍が届き易いとしたらその村高は成し能わない fact3: 「その村高は成し能わない」ということは成り立つ fact4: 「なんらかの物は成し能うということはないけれど期末試験である」ということは成り立たないとしたら成し能う fact5: 仮にその村高が届き易いならばその第三回十字軍は成し能わない fact6: もしあのＥＸＲが届き易いとしたらその村高は成し能わない fact7: 「仮にその村高が成し能うとするとその第三回十字軍は届き易いということはない」ということは本当だ fact8: その村高は届き易い fact9: 「あの中枢神経抑制薬は成し能う」ということは本当だ fact10: その村高は脳内機構でない fact11: この労働能力は成し能う fact12: その日光角化症は成し能う fact13: その第三回十字軍は届き易い fact14: その第三回十字軍は通告書だ
fact5 & fact8 -> hypothesis;
fact5 & fact8 -> hypothesis;
その第三回十字軍は成し能う
fact15 -> int1: 仮に「その村高は成し能わないが期末試験だ」ということは事実と異なるなら成し能う;
$facts$ = fact1: 「その村高は豆鉄砲だ」ということは確かである fact2: もしもその第三回十字軍が届き易いとしたらその村高は成し能わない fact3: 「その村高は成し能わない」ということは成り立つ fact4: 「なんらかの物は成し能うということはないけれど期末試験である」ということは成り立たないとしたら成し能う fact5: 仮にその村高が届き易いならばその第三回十字軍は成し能わない fact6: もしあのＥＸＲが届き易いとしたらその村高は成し能わない fact7: 「仮にその村高が成し能うとするとその第三回十字軍は届き易いということはない」ということは本当だ fact8: その村高は届き易い fact9: 「あの中枢神経抑制薬は成し能う」ということは本当だ fact10: その村高は脳内機構でない fact11: この労働能力は成し能う fact12: その日光角化症は成し能う fact13: その第三回十字軍は届き易い fact14: その第三回十字軍は通告書だ ; $hypothesis$ = その第三回十字軍は成し能う ; $proof$ = 
fact5 & fact8 -> hypothesis; __DISPROVED__
事実1: 「その村高は豆鉄砲だ」ということは確かである
事実2: もしもその第三回十字軍が届き易いとしたらその村高は成し能わない
事実3: 「その村高は成し能わない」ということは成り立つ
事実4: 「なんらかの物は成し能うということはないけれど期末試験である」ということは成り立たないとしたら成し能う
事実5: 仮にその村高が届き易いならばその第三回十字軍は成し能わない
事実6: もしあのＥＸＲが届き易いとしたらその村高は成し能わない
事実7: 「仮にその村高が成し能うとするとその第三回十字軍は届き易いということはない」ということは本当だ
事実8: その村高は届き易い
事実9: 「あの中枢神経抑制薬は成し能う」ということは本当だ
事実10: その村高は脳内機構でない
事実11: この労働能力は成し能う
事実12: その日光角化症は成し能う
事実13: その第三回十字軍は届き易い
事実14: その第三回十字軍は通告書だ

仮説: その第三回十字軍は成し能う
1. 事実5と事実8から、仮説が否定される

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