「蹴散らさないし結ばないならスキャナな」ものはある
fact1: 「もし仮に蹴散らさないが結ぶならスキャナな」物はある fact2: 「御宜しくなくてその上運び入れないなら「図り難い」ということは事実である」物はある fact3: もしもなんらかの物が蹴散らすけれど結ばないとすれば「それはスキャナである」ということは本当である fact4: 「もしも蹴散らすけれど結ばないとするとスキャナである」ものはある fact5: あの地震時が蹴散らすけど結ばないとすればスキャナである fact6: もし仮になにがしかのものは蹴散らさなくてそれに結ばないとしたらスキャナである fact7: なにがしかの物が蹴散らすということはないけどそれが結ぶとするとスキャナだ fact8: 「もしも逃げ遅れないしデータフォワーディングでないとしたら縁組する」物はある fact9: もしあの地震時は蹴散らさない一方で結べば「それはスキャナである」ということは事実である
fact6 -> int1: もし仮にあの地震時は蹴散らさないし結ばないとするとスキャナである; int1 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に蹴散らさないが結ぶならスキャナな」物はある fact2: 「御宜しくなくてその上運び入れないなら「図り難い」ということは事実である」物はある fact3: もしもなんらかの物が蹴散らすけれど結ばないとすれば「それはスキャナである」ということは本当である fact4: 「もしも蹴散らすけれど結ばないとするとスキャナである」ものはある fact5: あの地震時が蹴散らすけど結ばないとすればスキャナである fact6: もし仮になにがしかのものは蹴散らさなくてそれに結ばないとしたらスキャナである fact7: なにがしかの物が蹴散らすということはないけどそれが結ぶとするとスキャナだ fact8: 「もしも逃げ遅れないしデータフォワーディングでないとしたら縁組する」物はある fact9: もしあの地震時は蹴散らさない一方で結べば「それはスキャナである」ということは事実である ; $hypothesis$ = 「蹴散らさないし結ばないならスキャナな」ものはある ; $proof$ = 
fact6 -> int1: もし仮にあの地震時は蹴散らさないし結ばないとするとスキャナである; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に蹴散らさないが結ぶならスキャナな」物はある
事実2: 「御宜しくなくてその上運び入れないなら「図り難い」ということは事実である」物はある
事実3: もしもなんらかの物が蹴散らすけれど結ばないとすれば「それはスキャナである」ということは本当である
事実4: 「もしも蹴散らすけれど結ばないとするとスキャナである」ものはある
事実5: あの地震時が蹴散らすけど結ばないとすればスキャナである
事実6: もし仮になにがしかのものは蹴散らさなくてそれに結ばないとしたらスキャナである
事実7: なにがしかの物が蹴散らすということはないけどそれが結ぶとするとスキャナだ
事実8: 「もしも逃げ遅れないしデータフォワーディングでないとしたら縁組する」物はある
事実9: もしあの地震時は蹴散らさない一方で結べば「それはスキャナである」ということは事実である

仮説: 「蹴散らさないし結ばないならスキャナな」ものはある
1. 事実6から、推論1: "もし仮にあの地震時は蹴散らさないし結ばないとするとスキャナである"が導かれる
2. 推論1から、仮説が導かれる

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