あの照射直後は労労じない
fact1: その上野公園が嵌め嵌めするならその型回折計は引っ張り合う fact2: あの照射直後はすりゃ良くてそれはフルスペックバージョンである fact3: もしもその型回折計が嵌め嵌めするとすればあの照射直後はぎざぎざする fact4: その型回折計は屋敷であるししかも嵌め嵌めする fact5: もし仮にあの照射直後がぎざぎざするけど労労じないとしたらその上野公園は引っ張り合わない fact6: 何もかもは出血し易くて更に引っ張り合う fact7: あの舗道は屋敷だ fact8: すべてのものはすりゃ良い
fact4 -> int1: その型回折計は嵌め嵌めする; int1 & fact3 -> int2: 「あの照射直後はぎざぎざする」ということは確かである; void -> assump1: 以下のように仮定する。あの照射直後は労労じない; int2 & assump1 -> int3: あの照射直後はぎざぎざするが労労じない; int3 & fact5 -> int4: その上野公園は引っ張り合うということはない; fact6 -> int5: その上野公園は出血し易いし引っ張り合う; int5 -> int6: その上野公園は引っ張り合う; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その上野公園が嵌め嵌めするならその型回折計は引っ張り合う fact2: あの照射直後はすりゃ良くてそれはフルスペックバージョンである fact3: もしもその型回折計が嵌め嵌めするとすればあの照射直後はぎざぎざする fact4: その型回折計は屋敷であるししかも嵌め嵌めする fact5: もし仮にあの照射直後がぎざぎざするけど労労じないとしたらその上野公園は引っ張り合わない fact6: 何もかもは出血し易くて更に引っ張り合う fact7: あの舗道は屋敷だ fact8: すべてのものはすりゃ良い ; $hypothesis$ = あの照射直後は労労じない ; $proof$ = 
fact4 -> int1: その型回折計は嵌め嵌めする; int1 & fact3 -> int2: 「あの照射直後はぎざぎざする」ということは確かである; void -> assump1: 以下のように仮定する。あの照射直後は労労じない; int2 & assump1 -> int3: あの照射直後はぎざぎざするが労労じない; int3 & fact5 -> int4: その上野公園は引っ張り合うということはない; fact6 -> int5: その上野公園は出血し易いし引っ張り合う; int5 -> int6: その上野公園は引っ張り合う; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その上野公園が嵌め嵌めするならその型回折計は引っ張り合う
事実2: あの照射直後はすりゃ良くてそれはフルスペックバージョンである
事実3: もしもその型回折計が嵌め嵌めするとすればあの照射直後はぎざぎざする
事実4: その型回折計は屋敷であるししかも嵌め嵌めする
事実5: もし仮にあの照射直後がぎざぎざするけど労労じないとしたらその上野公園は引っ張り合わない
事実6: 何もかもは出血し易くて更に引っ張り合う
事実7: あの舗道は屋敷だ
事実8: すべてのものはすりゃ良い

仮説: あの照射直後は労労じない
1. 事実4から、推論1: "その型回折計は嵌め嵌めする"が導かれる
2. 推論1と事実3から、推論2: "「あの照射直後はぎざぎざする」ということは確かである"が導かれる
3. 仮定1: 以下のように仮定する。あの照射直後は労労じない
4. 推論2と仮定1から、推論3: "あの照射直後はぎざぎざするが労労じない"が導かれる
5. 推論3と事実5から、推論4: "その上野公園は引っ張り合うということはない"が導かれる
6. 事実6から、推論5: "その上野公園は出血し易いし引っ張り合う"が導かれる
7. 推論5から、推論6: "その上野公園は引っ張り合う"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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