このポーターは嘗め尽くさない
fact1: もし仮にこのポーターが変化対応型である一方でそれは巻かないとしたら「その将来世代は嘗め尽くす」ということは確かである fact2: そのフィレットは巻く fact3: もし仮にその将来世代が巻くけど変化対応型でないならばこのポーターは嘗め尽くす fact4: このポーターは巻くということはない fact5: その将来世代は変化対応型でない fact6: その将来世代は巻く fact7: その万国史は巻く fact8: 仮にその将来世代が嘗め尽くすけど巻かないとするとこのポーターは嘗め尽くさない
fact6 & fact5 -> int1: その将来世代は巻くけど変化対応型でない; int1 & fact3 -> hypothesis;
「このポーターは嘗め尽くさない」ということは本当だ
$facts$ = fact1: もし仮にこのポーターが変化対応型である一方でそれは巻かないとしたら「その将来世代は嘗め尽くす」ということは確かである fact2: そのフィレットは巻く fact3: もし仮にその将来世代が巻くけど変化対応型でないならばこのポーターは嘗め尽くす fact4: このポーターは巻くということはない fact5: その将来世代は変化対応型でない fact6: その将来世代は巻く fact7: その万国史は巻く fact8: 仮にその将来世代が嘗め尽くすけど巻かないとするとこのポーターは嘗め尽くさない ; $hypothesis$ = このポーターは嘗め尽くさない ; $proof$ = 
fact6 & fact5 -> int1: その将来世代は巻くけど変化対応型でない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこのポーターが変化対応型である一方でそれは巻かないとしたら「その将来世代は嘗め尽くす」ということは確かである
事実2: そのフィレットは巻く
事実3: もし仮にその将来世代が巻くけど変化対応型でないならばこのポーターは嘗め尽くす
事実4: このポーターは巻くということはない
事実5: その将来世代は変化対応型でない
事実6: その将来世代は巻く
事実7: その万国史は巻く
事実8: 仮にその将来世代が嘗め尽くすけど巻かないとするとこのポーターは嘗め尽くさない

仮説: このポーターは嘗め尽くさない
1. 事実6と事実5から、推論1: "その将来世代は巻くけど変化対応型でない"が導かれる
2. 推論1と事実3から、仮説が否定される

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