この花入れは予測し易くない
fact1: とあるものが生まれであるがしかしそれが交尾しないならば予測し易い fact2: もしも「文字キーでない」物があるとしたらあの脚力は生まれである fact3: もしもこの花入れがひ弱いけれどドライブパスだということはないならそれは松毬だ fact4: この生産様式は予測し易い fact5: 「下手物でない」ものはある fact6: 「ひ弱くない」物はある fact7: この引き受け権は予測し易いけど費やさない fact8: この花入れは都市国家だ fact9: もしも「ひ弱くない」物があればこの花入れは生まれだ一方で交尾するということはない fact10: この花入れは耐え難いがしかし生み難くない fact11: この心合併症は生まれである fact12: このＡＤ達は予測し易い
fact6 & fact9 -> int1: この花入れは生まれであるけど交尾しない; fact1 -> int2: 仮にこの花入れは生まれであるけど交尾しないとするとそれは予測し易い; int1 & int2 -> hypothesis;
$facts$ = fact1: とあるものが生まれであるがしかしそれが交尾しないならば予測し易い fact2: もしも「文字キーでない」物があるとしたらあの脚力は生まれである fact3: もしもこの花入れがひ弱いけれどドライブパスだということはないならそれは松毬だ fact4: この生産様式は予測し易い fact5: 「下手物でない」ものはある fact6: 「ひ弱くない」物はある fact7: この引き受け権は予測し易いけど費やさない fact8: この花入れは都市国家だ fact9: もしも「ひ弱くない」物があればこの花入れは生まれだ一方で交尾するということはない fact10: この花入れは耐え難いがしかし生み難くない fact11: この心合併症は生まれである fact12: このＡＤ達は予測し易い ; $hypothesis$ = この花入れは予測し易くない ; $proof$ = 
fact6 & fact9 -> int1: この花入れは生まれであるけど交尾しない; fact1 -> int2: 仮にこの花入れは生まれであるけど交尾しないとするとそれは予測し易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: とあるものが生まれであるがしかしそれが交尾しないならば予測し易い
事実2: もしも「文字キーでない」物があるとしたらあの脚力は生まれである
事実3: もしもこの花入れがひ弱いけれどドライブパスだということはないならそれは松毬だ
事実4: この生産様式は予測し易い
事実5: 「下手物でない」ものはある
事実6: 「ひ弱くない」物はある
事実7: この引き受け権は予測し易いけど費やさない
事実8: この花入れは都市国家だ
事実9: もしも「ひ弱くない」物があればこの花入れは生まれだ一方で交尾するということはない
事実10: この花入れは耐え難いがしかし生み難くない
事実11: この心合併症は生まれである
事実12: このＡＤ達は予測し易い

仮説: この花入れは予測し易くない
1. 事実6と事実9から、推論1: "この花入れは生まれであるけど交尾しない"が導かれる
2. 事実1から、推論2: "仮にこの花入れは生まれであるけど交尾しないとするとそれは予測し易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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