その直感は維持出来る
fact1: もしもこの収め方が甘辛いとするとあのメディアプレーヤーは憎らしい fact2: あのメディアプレーヤーは歯噛みするか侮蔑する fact3: 仮にあのメディアプレーヤーが憎らしいならばこの収め方は歯噛みする fact4: もし仮にこの収め方が憎らしいならその直感は維持出来る fact5: もしもあのメディアプレーヤーが憎らしいならばあの直感は侮蔑する fact6: もしもこの収め方が歯噛みするならあのメディアプレーヤーは憎らしい fact7: その直感が侮蔑すればあのメディアプレーヤーは維持出来る fact8: あのメディアプレーヤーは維持出来るとしたら「その直感は侮蔑する」ということは成り立つ fact9: 仮にあのメディアプレーヤーが歯噛みするならこの収め方は憎らしい fact10: あのメディアプレーヤーが維持出来る一方で侮蔑しないならばあの直感は維持出来ない fact11: その直感が憎らしいならこの収め方は維持出来る fact12: もしもあのメディアプレーヤーが侮蔑するならこの収め方は憎らしい
fact2 & fact9 & fact12 -> int1: この収め方は憎らしい; int1 & fact4 -> hypothesis;
その直感は維持出来ない
$facts$ = fact1: もしもこの収め方が甘辛いとするとあのメディアプレーヤーは憎らしい fact2: あのメディアプレーヤーは歯噛みするか侮蔑する fact3: 仮にあのメディアプレーヤーが憎らしいならばこの収め方は歯噛みする fact4: もし仮にこの収め方が憎らしいならその直感は維持出来る fact5: もしもあのメディアプレーヤーが憎らしいならばあの直感は侮蔑する fact6: もしもこの収め方が歯噛みするならあのメディアプレーヤーは憎らしい fact7: その直感が侮蔑すればあのメディアプレーヤーは維持出来る fact8: あのメディアプレーヤーは維持出来るとしたら「その直感は侮蔑する」ということは成り立つ fact9: 仮にあのメディアプレーヤーが歯噛みするならこの収め方は憎らしい fact10: あのメディアプレーヤーが維持出来る一方で侮蔑しないならばあの直感は維持出来ない fact11: その直感が憎らしいならこの収め方は維持出来る fact12: もしもあのメディアプレーヤーが侮蔑するならこの収め方は憎らしい ; $hypothesis$ = その直感は維持出来る ; $proof$ = 
fact2 & fact9 & fact12 -> int1: この収め方は憎らしい; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの収め方が甘辛いとするとあのメディアプレーヤーは憎らしい
事実2: あのメディアプレーヤーは歯噛みするか侮蔑する
事実3: 仮にあのメディアプレーヤーが憎らしいならばこの収め方は歯噛みする
事実4: もし仮にこの収め方が憎らしいならその直感は維持出来る
事実5: もしもあのメディアプレーヤーが憎らしいならばあの直感は侮蔑する
事実6: もしもこの収め方が歯噛みするならあのメディアプレーヤーは憎らしい
事実7: その直感が侮蔑すればあのメディアプレーヤーは維持出来る
事実8: あのメディアプレーヤーは維持出来るとしたら「その直感は侮蔑する」ということは成り立つ
事実9: 仮にあのメディアプレーヤーが歯噛みするならこの収め方は憎らしい
事実10: あのメディアプレーヤーが維持出来る一方で侮蔑しないならばあの直感は維持出来ない
事実11: その直感が憎らしいならこの収め方は維持出来る
事実12: もしもあのメディアプレーヤーが侮蔑するならこの収め方は憎らしい

仮説: その直感は維持出来る
1. 事実2と事実9と事実12から、推論1: "この収め方は憎らしい"が導かれる
2. 推論1と事実4から、仮説が導かれる

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