その友好はスポーツ用品であるし遠ざける
fact1: 「この画像診断装置は伝わり難くないししかも遠ざけない」ということは成り立たない fact2: その友好は後ろ暗い fact3: 仮に「この画像診断装置はスポーツ用品である」ということは成り立つなら遠ざける fact4: もし仮に「この画像診断装置は伝わり難いということはなくてそれは遠ざけない」ということは偽なら「その友好は遠ざける」ということは間違いでない fact5: ある物は遠ざければ「スポーツ用品だがしかし後ろ暗くない」ということは誤りである fact6: この市松が伝わり難くないならばそれは遠ざけるし更にそれは遣り辛い fact7: その友好が後ろ暗いならそれはスポーツ用品だ
fact7 & fact2 -> int1: 「その友好はスポーツ用品である」ということは事実である; fact1 & fact4 -> int2: その友好は遠ざける; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: {B}{a}; fact1 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
この市松は後ろ暗い
fact8 -> int3: 仮にこの市松は遠ざければ「それはスポーツ用品であるしおまけに後ろ暗くない」ということは成り立つということはない;
$facts$ = fact1: 「この画像診断装置は伝わり難くないししかも遠ざけない」ということは成り立たない fact2: その友好は後ろ暗い fact3: 仮に「この画像診断装置はスポーツ用品である」ということは成り立つなら遠ざける fact4: もし仮に「この画像診断装置は伝わり難いということはなくてそれは遠ざけない」ということは偽なら「その友好は遠ざける」ということは間違いでない fact5: ある物は遠ざければ「スポーツ用品だがしかし後ろ暗くない」ということは誤りである fact6: この市松が伝わり難くないならばそれは遠ざけるし更にそれは遣り辛い fact7: その友好が後ろ暗いならそれはスポーツ用品だ ; $hypothesis$ = その友好はスポーツ用品であるし遠ざける ; $proof$ = 
fact7 & fact2 -> int1: 「その友好はスポーツ用品である」ということは事実である; fact1 & fact4 -> int2: その友好は遠ざける; int1 & int2 -> hypothesis; __PROVED__
事実1: 「この画像診断装置は伝わり難くないししかも遠ざけない」ということは成り立たない
事実2: その友好は後ろ暗い
事実3: 仮に「この画像診断装置はスポーツ用品である」ということは成り立つなら遠ざける
事実4: もし仮に「この画像診断装置は伝わり難いということはなくてそれは遠ざけない」ということは偽なら「その友好は遠ざける」ということは間違いでない
事実5: ある物は遠ざければ「スポーツ用品だがしかし後ろ暗くない」ということは誤りである
事実6: この市松が伝わり難くないならばそれは遠ざけるし更にそれは遣り辛い
事実7: その友好が後ろ暗いならそれはスポーツ用品だ

仮説: その友好はスポーツ用品であるし遠ざける
1. 事実7と事実2から、推論1: "「その友好はスポーツ用品である」ということは事実である"が導かれる
2. 事実1と事実4から、推論2: "その友好は遠ざける"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。