そのスコップは生み易い
fact1: 仮にこの保険医が痛感しないしそれにビーズアクセサリーでないならその終身は私有する fact2: もしその参宿がフレックスタイム制でないならその終身はフレックスタイム制だ一方でビーズアクセサリーでない fact3: 「自己資本でない」ものはある fact4: なにがしかの物はファックスするなら「頼み難くないかもしくは栽培しないかあるいは両方ともである」ということは事実と異なる fact5: もしなにかは自己資本でないとすればその参宿はフレックスタイム制であるということはないしそれは私有しない fact6: もしもその終身がフレックスタイム制である一方でビーズアクセサリーだということはないとすればそのスコップは生み易くない fact7: この芸妓は失踪でない fact8: その終身が私有するとするとその参宿はフレックスタイム制だ fact9: なにかは自己資本だとすれば生み易い fact10: もし仮にこの芸妓は失踪でないとすると関係無しだしさらにファックスする fact11: もし仮にその参宿がフレックスタイム制だとしたらそのスコップは自己資本だ fact12: 円安進行時は痛感するということはないしさらにビーズアクセサリーだということはない
fact3 & fact5 -> int1: その参宿はフレックスタイム制でないしさらに私有しない; int1 -> int2: 「その参宿はフレックスタイム制でない」ということは成り立つ; int2 & fact2 -> int3: その終身はフレックスタイム制だけどビーズアクセサリーでない; int3 & fact6 -> hypothesis;
そのスコップは生み易い
fact18 -> int4: 「もしもそのスコップが自己資本であるとすればあのスコップは生み易い」ということは真実だ; fact15 -> int5: もしもこの保険医が円安進行時なら痛感しないし更にビーズアクセサリーでない; fact16 -> int6: もしもこの芸妓はファックスするとすれば「それは頼み難くないかもしくは栽培しないかどちらもである」ということは事実と異なる; fact17 & fact19 -> int7: この芸妓が関係無しだしファックスする; int7 -> int8: この芸妓はファックスする; int6 & int8 -> int9: 「この芸妓は頼み難くないかもしくはそれは栽培しないかあるいはどちらもだ」ということは成り立たない; int9 -> int10: 「「頼み難くないかあるいは栽培しないかあるいは両方だ」ということは事実と異なる」ものはある;
$facts$ = fact1: 仮にこの保険医が痛感しないしそれにビーズアクセサリーでないならその終身は私有する fact2: もしその参宿がフレックスタイム制でないならその終身はフレックスタイム制だ一方でビーズアクセサリーでない fact3: 「自己資本でない」ものはある fact4: なにがしかの物はファックスするなら「頼み難くないかもしくは栽培しないかあるいは両方ともである」ということは事実と異なる fact5: もしなにかは自己資本でないとすればその参宿はフレックスタイム制であるということはないしそれは私有しない fact6: もしもその終身がフレックスタイム制である一方でビーズアクセサリーだということはないとすればそのスコップは生み易くない fact7: この芸妓は失踪でない fact8: その終身が私有するとするとその参宿はフレックスタイム制だ fact9: なにかは自己資本だとすれば生み易い fact10: もし仮にこの芸妓は失踪でないとすると関係無しだしさらにファックスする fact11: もし仮にその参宿がフレックスタイム制だとしたらそのスコップは自己資本だ fact12: 円安進行時は痛感するということはないしさらにビーズアクセサリーだということはない ; $hypothesis$ = そのスコップは生み易い ; $proof$ = 
fact3 & fact5 -> int1: その参宿はフレックスタイム制でないしさらに私有しない; int1 -> int2: 「その参宿はフレックスタイム制でない」ということは成り立つ; int2 & fact2 -> int3: その終身はフレックスタイム制だけどビーズアクセサリーでない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこの保険医が痛感しないしそれにビーズアクセサリーでないならその終身は私有する
事実2: もしその参宿がフレックスタイム制でないならその終身はフレックスタイム制だ一方でビーズアクセサリーでない
事実3: 「自己資本でない」ものはある
事実4: なにがしかの物はファックスするなら「頼み難くないかもしくは栽培しないかあるいは両方ともである」ということは事実と異なる
事実5: もしなにかは自己資本でないとすればその参宿はフレックスタイム制であるということはないしそれは私有しない
事実6: もしもその終身がフレックスタイム制である一方でビーズアクセサリーだということはないとすればそのスコップは生み易くない
事実7: この芸妓は失踪でない
事実8: その終身が私有するとするとその参宿はフレックスタイム制だ
事実9: なにかは自己資本だとすれば生み易い
事実10: もし仮にこの芸妓は失踪でないとすると関係無しだしさらにファックスする
事実11: もし仮にその参宿がフレックスタイム制だとしたらそのスコップは自己資本だ
事実12: 円安進行時は痛感するということはないしさらにビーズアクセサリーだということはない

仮説: そのスコップは生み易い
1. 事実3と事実5から、推論1: "その参宿はフレックスタイム制でないしさらに私有しない"が導かれる
2. 推論1から、推論2: "「その参宿はフレックスタイム制でない」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "その終身はフレックスタイム制だけどビーズアクセサリーでない"が導かれる
4. 推論3と事実6から、仮説が否定される

よって、仮説が否定されました。