あの掛かり合いはロードする
fact1: 「移植医療である」ものはある fact2: 「怒鳴り出す」物はある fact3: 「「なにかはグループ化するかまたは歓迎す」ということは正しい」ということは間違いだとすれば飛行機らしくない fact4: 仮に「あのファミリールームはロードするしまた正義感である」ということは間違っているとしたらあの逸脱はロードしない fact5: 仮に「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは間違っているとしたらあの掛かり合いは捜査活動である fact6: もしもなんらかのものがきな臭いとすると正義感であるけれどゴルフしない fact7: あの掛かり合いは移植医療でない fact8: 「移植医療な」物はあれば「あの掛かり合いは肥厚するかまたはゴルフする」ということは成り立たない fact9: もしも「なんらかの物は肥厚するかあるいはゴルフする」ということは事実と異なるならそれはロードしない fact10: もしもあの逸脱は肥厚するとすれば「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは成り立たない
fact1 & fact8 -> int1: 「あの掛かり合いは肥厚するかあるいはゴルフするかまたはどちらもである」ということは間違っている; fact9 -> int2: もし仮に「あの掛かり合いは肥厚するかそれはゴルフする」ということは成り立たないならばそれはロードしない; int1 & int2 -> hypothesis;
あの掛かり合いはロードする
fact11 -> int3: もしあのファミリールームがきな臭いとすると正義感であるしおまけにゴルフしない;
$facts$ = fact1: 「移植医療である」ものはある fact2: 「怒鳴り出す」物はある fact3: 「「なにかはグループ化するかまたは歓迎す」ということは正しい」ということは間違いだとすれば飛行機らしくない fact4: 仮に「あのファミリールームはロードするしまた正義感である」ということは間違っているとしたらあの逸脱はロードしない fact5: 仮に「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは間違っているとしたらあの掛かり合いは捜査活動である fact6: もしもなんらかのものがきな臭いとすると正義感であるけれどゴルフしない fact7: あの掛かり合いは移植医療でない fact8: 「移植医療な」物はあれば「あの掛かり合いは肥厚するかまたはゴルフする」ということは成り立たない fact9: もしも「なんらかの物は肥厚するかあるいはゴルフする」ということは事実と異なるならそれはロードしない fact10: もしもあの逸脱は肥厚するとすれば「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは成り立たない ; $hypothesis$ = あの掛かり合いはロードする ; $proof$ = 
fact1 & fact8 -> int1: 「あの掛かり合いは肥厚するかあるいはゴルフするかまたはどちらもである」ということは間違っている; fact9 -> int2: もし仮に「あの掛かり合いは肥厚するかそれはゴルフする」ということは成り立たないならばそれはロードしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「移植医療である」ものはある
事実2: 「怒鳴り出す」物はある
事実3: 「「なにかはグループ化するかまたは歓迎す」ということは正しい」ということは間違いだとすれば飛行機らしくない
事実4: 仮に「あのファミリールームはロードするしまた正義感である」ということは間違っているとしたらあの逸脱はロードしない
事実5: 仮に「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは間違っているとしたらあの掛かり合いは捜査活動である
事実6: もしもなんらかのものがきな臭いとすると正義感であるけれどゴルフしない
事実7: あの掛かり合いは移植医療でない
事実8: 「移植医療な」物はあれば「あの掛かり合いは肥厚するかまたはゴルフする」ということは成り立たない
事実9: もしも「なんらかの物は肥厚するかあるいはゴルフする」ということは事実と異なるならそれはロードしない
事実10: もしもあの逸脱は肥厚するとすれば「あの松竹大船は移植医療であるがしかしそれは捜査活動でない」ということは成り立たない

仮説: あの掛かり合いはロードする
1. 事実1と事実8から、推論1: "「あの掛かり合いは肥厚するかあるいはゴルフするかまたはどちらもである」ということは間違っている"が導かれる
2. 事実9から、推論2: "もし仮に「あの掛かり合いは肥厚するかそれはゴルフする」ということは成り立たないならばそれはロードしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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