「「新しないかあるいは骨細胞でないかどちらもであるなら壊れ易い」物はある」ということは間違っている
fact1: もしもあの走行装置は利活用しないかあるいは新しないかまたは両方ともだとすると手挟む fact2: 「もし工業化しないかまたは過ごし易いなら発憤する」ものはある fact3: 「仮に野外美術館でないならば超絶である」ものはある fact4: もし仮にあの走行装置が溢るないかまたは浸すかあるいはどちらもだとすればそれは新し fact5: 仮にとある物が新しないかあるいはそれは骨細胞でないなら壊れ易い fact6: 「結論出来ないか個人授業であるかどちらもであるとすると美味しい」ものはある fact7: 「もし課税標準等であるということはないか哀れっぽいということはないかあるいは両方であるなら素っ飛ばす」物はある
fact5 -> int1: もしもあの走行装置が新しないか骨細胞だということはないかどちらもならば壊れ易い; int1 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもあの走行装置は利活用しないかあるいは新しないかまたは両方ともだとすると手挟む fact2: 「もし工業化しないかまたは過ごし易いなら発憤する」ものはある fact3: 「仮に野外美術館でないならば超絶である」ものはある fact4: もし仮にあの走行装置が溢るないかまたは浸すかあるいはどちらもだとすればそれは新し fact5: 仮にとある物が新しないかあるいはそれは骨細胞でないなら壊れ易い fact6: 「結論出来ないか個人授業であるかどちらもであるとすると美味しい」ものはある fact7: 「もし課税標準等であるということはないか哀れっぽいということはないかあるいは両方であるなら素っ飛ばす」物はある ; $hypothesis$ = 「「新しないかあるいは骨細胞でないかどちらもであるなら壊れ易い」物はある」ということは間違っている ; $proof$ = 
fact5 -> int1: もしもあの走行装置が新しないか骨細胞だということはないかどちらもならば壊れ易い; int1 -> hypothesis; __DISPROVED__
事実1: もしもあの走行装置は利活用しないかあるいは新しないかまたは両方ともだとすると手挟む
事実2: 「もし工業化しないかまたは過ごし易いなら発憤する」ものはある
事実3: 「仮に野外美術館でないならば超絶である」ものはある
事実4: もし仮にあの走行装置が溢るないかまたは浸すかあるいはどちらもだとすればそれは新し
事実5: 仮にとある物が新しないかあるいはそれは骨細胞でないなら壊れ易い
事実6: 「結論出来ないか個人授業であるかどちらもであるとすると美味しい」ものはある
事実7: 「もし課税標準等であるということはないか哀れっぽいということはないかあるいは両方であるなら素っ飛ばす」物はある

仮説: 「「新しないかあるいは骨細胞でないかどちらもであるなら壊れ易い」物はある」ということは間違っている
1. 事実5から、推論1: "もしもあの走行装置が新しないか骨細胞だということはないかどちらもならば壊れ易い"が導かれる
2. 推論1から、仮説が否定される

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