この道連れはパソコン同士だが逃げ散らない
fact1: この道連れは太り難いがぶん投げない fact2: この道連れはスイーティーであるということはない fact3: 「「最高潮だ」ということは本当である」物はある fact4: もしこの東南は自分賛成・家族賛成でないならばそれは逃げ散るし下校する fact5: あの入社式はきつい一方でそれは逃げ散るということはない fact6: ある物は持ち込む fact7: もし仮になんらかのものが逃げ散るとするとこの道連れは難治例であるけれどそれは御固くない fact8: その太刀魚は言い尽くせるがしかし持ち込まない fact9: 「持ち込む」ものがあるとしたらこの道連れはパソコン同士であるけれど逃げ散らない fact10: 仮にこの植物界はパソコン同士であるなら逃げ散る fact11: もし仮にこの道連れは自分賛成・家族賛成であるということはないとすると「それは持ち込まない」ということは成り立つ fact12: 何らかのものは受け入れ難い fact13: 「逃げ散る」物はある fact14: 「パソコン同士である」物はある fact15: カラーパウダーが美しいということはないとすれば自分賛成・家族賛成であるということはない fact16: 「この道連れはパソコン同士だ」ということは正しい fact17: もしも「「パソコン同士だ」ということは嘘でない」物があるとするとあのＣＣ五誘導はトンネル手前でない fact18: この道連れは頭巾であるけど持ち込まない fact19: もし「「持ち込む」ということは確かな」物があればこの道連れはパソコン同士だ fact20: この道連れはパソコン同士であるがしかしそれは鋭くない fact21: この道連れは持ち込まない
fact6 & fact9 -> hypothesis;
fact6 & fact9 -> hypothesis;
この東南は下校する一方で持ち込まない
$facts$ = fact1: この道連れは太り難いがぶん投げない fact2: この道連れはスイーティーであるということはない fact3: 「「最高潮だ」ということは本当である」物はある fact4: もしこの東南は自分賛成・家族賛成でないならばそれは逃げ散るし下校する fact5: あの入社式はきつい一方でそれは逃げ散るということはない fact6: ある物は持ち込む fact7: もし仮になんらかのものが逃げ散るとするとこの道連れは難治例であるけれどそれは御固くない fact8: その太刀魚は言い尽くせるがしかし持ち込まない fact9: 「持ち込む」ものがあるとしたらこの道連れはパソコン同士であるけれど逃げ散らない fact10: 仮にこの植物界はパソコン同士であるなら逃げ散る fact11: もし仮にこの道連れは自分賛成・家族賛成であるということはないとすると「それは持ち込まない」ということは成り立つ fact12: 何らかのものは受け入れ難い fact13: 「逃げ散る」物はある fact14: 「パソコン同士である」物はある fact15: カラーパウダーが美しいということはないとすれば自分賛成・家族賛成であるということはない fact16: 「この道連れはパソコン同士だ」ということは正しい fact17: もしも「「パソコン同士だ」ということは嘘でない」物があるとするとあのＣＣ五誘導はトンネル手前でない fact18: この道連れは頭巾であるけど持ち込まない fact19: もし「「持ち込む」ということは確かな」物があればこの道連れはパソコン同士だ fact20: この道連れはパソコン同士であるがしかしそれは鋭くない fact21: この道連れは持ち込まない ; $hypothesis$ = この道連れはパソコン同士だが逃げ散らない ; $proof$ = 
fact6 & fact9 -> hypothesis; __PROVED__
事実1: この道連れは太り難いがぶん投げない
事実2: この道連れはスイーティーであるということはない
事実3: 「「最高潮だ」ということは本当である」物はある
事実4: もしこの東南は自分賛成・家族賛成でないならばそれは逃げ散るし下校する
事実5: あの入社式はきつい一方でそれは逃げ散るということはない
事実6: ある物は持ち込む
事実7: もし仮になんらかのものが逃げ散るとするとこの道連れは難治例であるけれどそれは御固くない
事実8: その太刀魚は言い尽くせるがしかし持ち込まない
事実9: 「持ち込む」ものがあるとしたらこの道連れはパソコン同士であるけれど逃げ散らない
事実10: 仮にこの植物界はパソコン同士であるなら逃げ散る
事実11: もし仮にこの道連れは自分賛成・家族賛成であるということはないとすると「それは持ち込まない」ということは成り立つ
事実12: 何らかのものは受け入れ難い
事実13: 「逃げ散る」物はある
事実14: 「パソコン同士である」物はある
事実15: カラーパウダーが美しいということはないとすれば自分賛成・家族賛成であるということはない
事実16: 「この道連れはパソコン同士だ」ということは正しい
事実17: もしも「「パソコン同士だ」ということは嘘でない」物があるとするとあのＣＣ五誘導はトンネル手前でない
事実18: この道連れは頭巾であるけど持ち込まない
事実19: もし「「持ち込む」ということは確かな」物があればこの道連れはパソコン同士だ
事実20: この道連れはパソコン同士であるがしかしそれは鋭くない
事実21: この道連れは持ち込まない

仮説: この道連れはパソコン同士だが逃げ散らない
1. 事実6と事実9から、仮説が導かれる

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