「あの中田家一族は発話する」ということは真実である
fact1: もし仮にその統一部資料が汎用するか発話するとしたらあの中田家一族は捕らわれ易くない fact2: もしその統一部資料が発話するかあるいはそれは汎用するかまたは両方ならば「あの中田家一族は捕らわれ易くない」ということは事実だ fact3: その統一部資料は捕らわれ易い fact4: その統一部資料は打ち難いかまたは捕らわれ易いかもしくは両方ともである fact5: あの中田家一族は発話するかもしくは汎用する fact6: 「その統一部資料はセーヌ川岸であるけど真っ暗くない」ということは偽だとするとあの中田家一族はセーヌ川岸であるということはない fact7: 「あの中田家一族は香ばしい」ということは事実だ fact8: その統一部資料は自分らしくない fact9: あの中田家一族は汎用する fact10: 「あのアトピービジネスは捕らわれ易くない」ということは正しい fact11: もしその統一部資料が汎用するとすればあの中田家一族は発話しない fact12: その統一部資料は施設しない fact13: もし仮にあの中田家一族が発話するかあるいは捕らわれ易いかまたは両方ともであるなら「その統一部資料は汎用しない」ということは正しい fact14: あの中田家一族は口髭でない fact15: あの中田家一族は料金体系であるかあるいは実現し易い fact16: 「あの中田家一族は捕らわれ易い」ということは確かだ fact17: もしもその統一部資料が捕らわれ易いかあるいは汎用するかもしくはどちらもであるとしたらあの中田家一族は発話しない fact18: なんらかのものがセーヌ川岸でないとしたら汎用するし加えてそれは捕らわれ易い fact19: あの諸原則は発話する
fact3 -> int1: その統一部資料は捕らわれ易いかまたは汎用するかまたは両方ともである; int1 & fact17 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact17 -> hypothesis;
あの中田家一族は発話する
fact21 -> int2: もしあの中田家一族がセーヌ川岸であるということはないとすれば汎用するしまた捕らわれ易い;
$facts$ = fact1: もし仮にその統一部資料が汎用するか発話するとしたらあの中田家一族は捕らわれ易くない fact2: もしその統一部資料が発話するかあるいはそれは汎用するかまたは両方ならば「あの中田家一族は捕らわれ易くない」ということは事実だ fact3: その統一部資料は捕らわれ易い fact4: その統一部資料は打ち難いかまたは捕らわれ易いかもしくは両方ともである fact5: あの中田家一族は発話するかもしくは汎用する fact6: 「その統一部資料はセーヌ川岸であるけど真っ暗くない」ということは偽だとするとあの中田家一族はセーヌ川岸であるということはない fact7: 「あの中田家一族は香ばしい」ということは事実だ fact8: その統一部資料は自分らしくない fact9: あの中田家一族は汎用する fact10: 「あのアトピービジネスは捕らわれ易くない」ということは正しい fact11: もしその統一部資料が汎用するとすればあの中田家一族は発話しない fact12: その統一部資料は施設しない fact13: もし仮にあの中田家一族が発話するかあるいは捕らわれ易いかまたは両方ともであるなら「その統一部資料は汎用しない」ということは正しい fact14: あの中田家一族は口髭でない fact15: あの中田家一族は料金体系であるかあるいは実現し易い fact16: 「あの中田家一族は捕らわれ易い」ということは確かだ fact17: もしもその統一部資料が捕らわれ易いかあるいは汎用するかもしくはどちらもであるとしたらあの中田家一族は発話しない fact18: なんらかのものがセーヌ川岸でないとしたら汎用するし加えてそれは捕らわれ易い fact19: あの諸原則は発話する ; $hypothesis$ = 「あの中田家一族は発話する」ということは真実である ; $proof$ = 
fact3 -> int1: その統一部資料は捕らわれ易いかまたは汎用するかまたは両方ともである; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にその統一部資料が汎用するか発話するとしたらあの中田家一族は捕らわれ易くない
事実2: もしその統一部資料が発話するかあるいはそれは汎用するかまたは両方ならば「あの中田家一族は捕らわれ易くない」ということは事実だ
事実3: その統一部資料は捕らわれ易い
事実4: その統一部資料は打ち難いかまたは捕らわれ易いかもしくは両方ともである
事実5: あの中田家一族は発話するかもしくは汎用する
事実6: 「その統一部資料はセーヌ川岸であるけど真っ暗くない」ということは偽だとするとあの中田家一族はセーヌ川岸であるということはない
事実7: 「あの中田家一族は香ばしい」ということは事実だ
事実8: その統一部資料は自分らしくない
事実9: あの中田家一族は汎用する
事実10: 「あのアトピービジネスは捕らわれ易くない」ということは正しい
事実11: もしその統一部資料が汎用するとすればあの中田家一族は発話しない
事実12: その統一部資料は施設しない
事実13: もし仮にあの中田家一族が発話するかあるいは捕らわれ易いかまたは両方ともであるなら「その統一部資料は汎用しない」ということは正しい
事実14: あの中田家一族は口髭でない
事実15: あの中田家一族は料金体系であるかあるいは実現し易い
事実16: 「あの中田家一族は捕らわれ易い」ということは確かだ
事実17: もしもその統一部資料が捕らわれ易いかあるいは汎用するかもしくはどちらもであるとしたらあの中田家一族は発話しない
事実18: なんらかのものがセーヌ川岸でないとしたら汎用するし加えてそれは捕らわれ易い
事実19: あの諸原則は発話する

仮説: 「あの中田家一族は発話する」ということは真実である
1. 事実3から、推論1: "その統一部資料は捕らわれ易いかまたは汎用するかまたは両方ともである"が導かれる
2. 推論1と事実17から、仮説が否定される

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