あの派生は販売代金だということはない
fact1: なんらかの物がちぎれないとするとそれは販売代金であるし楽しい fact2: 楽しい物がちぎれれば販売代金だということはない fact3: 仮にとある物が楽しくないならば販売代金だ fact4: 仮になにかはハーネスでないとしたら各種所得であるけど反応し易くない fact5: あの派生はちぎれる fact6: あのサロメ像はちぎれる fact7: 仮になんらかの物がちぎれるけど各種所得でないとしたらそれは楽しくない fact8: あの派生は楽しい fact9: 仮になにがしかの物は各種所得であるけれど反応し易くないならばそれはちぎれない fact10: この漁師料理は株主でその上楽しい
fact8 & fact5 -> int1: あの派生は楽しくてそれにちぎれる; fact2 -> int2: もしもあの派生は楽しいしかつちぎれるならそれは販売代金だということはない; int1 & int2 -> hypothesis;
あの色物質は販売代金だ
fact12 -> int3: あの色物質が楽しくないとしたら販売代金だ; fact11 -> int4: もしあの色物質はちぎれるがしかし各種所得でないとするとそれは楽しいということはない;
$facts$ = fact1: なんらかの物がちぎれないとするとそれは販売代金であるし楽しい fact2: 楽しい物がちぎれれば販売代金だということはない fact3: 仮にとある物が楽しくないならば販売代金だ fact4: 仮になにかはハーネスでないとしたら各種所得であるけど反応し易くない fact5: あの派生はちぎれる fact6: あのサロメ像はちぎれる fact7: 仮になんらかの物がちぎれるけど各種所得でないとしたらそれは楽しくない fact8: あの派生は楽しい fact9: 仮になにがしかの物は各種所得であるけれど反応し易くないならばそれはちぎれない fact10: この漁師料理は株主でその上楽しい ; $hypothesis$ = あの派生は販売代金だということはない ; $proof$ = 
fact8 & fact5 -> int1: あの派生は楽しくてそれにちぎれる; fact2 -> int2: もしもあの派生は楽しいしかつちぎれるならそれは販売代金だということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: なんらかの物がちぎれないとするとそれは販売代金であるし楽しい
事実2: 楽しい物がちぎれれば販売代金だということはない
事実3: 仮にとある物が楽しくないならば販売代金だ
事実4: 仮になにかはハーネスでないとしたら各種所得であるけど反応し易くない
事実5: あの派生はちぎれる
事実6: あのサロメ像はちぎれる
事実7: 仮になんらかの物がちぎれるけど各種所得でないとしたらそれは楽しくない
事実8: あの派生は楽しい
事実9: 仮になにがしかの物は各種所得であるけれど反応し易くないならばそれはちぎれない
事実10: この漁師料理は株主でその上楽しい

仮説: あの派生は販売代金だということはない
1. 事実8と事実5から、推論1: "あの派生は楽しくてそれにちぎれる"が導かれる
2. 事実2から、推論2: "もしもあの派生は楽しいしかつちぎれるならそれは販売代金だということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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