この創建時は説明し易くない
fact1: その許可申請は説明し易くない fact2: 仮に何らかのものが相互作用するとすればそれは説明し易い fact3: このチーム全員は打ち掛けだ fact4: 説明し易い物は打ち掛けである fact5: もしこの創建時が打ち掛けである一方でそれは育ち難くないなら「相互作用する」ということは成り立つ fact6: もし仮にこの配偶者特別加算額がＣＧＩであるがしかしねっとりしないならそれはＲＣＡである fact7: この創建時が打ち掛けだけど育ち難くない fact8: 育ち難いものは相互作用する fact9: この創建時はオーガニゼーションだ fact10: この観桜は説明し易い fact11: もしもこの創建時が育ち難いならそれは這い出る fact12: あの可視は相互作用する fact13: この創建時は見過ごすけど書き添えない fact14: 「あの祭礼は相互作用する」ということは正しい fact15: この創建時は街らしくない fact16: もしもこの創建時が抜き難いしその上手工業ならそれは説明し易い fact17: とろ臭いものはどさ回りだ fact18: あの水溶性色素は育ち難くない
fact5 & fact7 -> int1: この創建時は相互作用する; fact2 -> int2: 「この創建時は相互作用しない」ということは間違っているなら説明し易い; int1 & int2 -> hypothesis;
fact5 & fact7 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: その許可申請は説明し易くない fact2: 仮に何らかのものが相互作用するとすればそれは説明し易い fact3: このチーム全員は打ち掛けだ fact4: 説明し易い物は打ち掛けである fact5: もしこの創建時が打ち掛けである一方でそれは育ち難くないなら「相互作用する」ということは成り立つ fact6: もし仮にこの配偶者特別加算額がＣＧＩであるがしかしねっとりしないならそれはＲＣＡである fact7: この創建時が打ち掛けだけど育ち難くない fact8: 育ち難いものは相互作用する fact9: この創建時はオーガニゼーションだ fact10: この観桜は説明し易い fact11: もしもこの創建時が育ち難いならそれは這い出る fact12: あの可視は相互作用する fact13: この創建時は見過ごすけど書き添えない fact14: 「あの祭礼は相互作用する」ということは正しい fact15: この創建時は街らしくない fact16: もしもこの創建時が抜き難いしその上手工業ならそれは説明し易い fact17: とろ臭いものはどさ回りだ fact18: あの水溶性色素は育ち難くない ; $hypothesis$ = この創建時は説明し易くない ; $proof$ = 
fact5 & fact7 -> int1: この創建時は相互作用する; fact2 -> int2: 「この創建時は相互作用しない」ということは間違っているなら説明し易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その許可申請は説明し易くない
事実2: 仮に何らかのものが相互作用するとすればそれは説明し易い
事実3: このチーム全員は打ち掛けだ
事実4: 説明し易い物は打ち掛けである
事実5: もしこの創建時が打ち掛けである一方でそれは育ち難くないなら「相互作用する」ということは成り立つ
事実6: もし仮にこの配偶者特別加算額がＣＧＩであるがしかしねっとりしないならそれはＲＣＡである
事実7: この創建時が打ち掛けだけど育ち難くない
事実8: 育ち難いものは相互作用する
事実9: この創建時はオーガニゼーションだ
事実10: この観桜は説明し易い
事実11: もしもこの創建時が育ち難いならそれは這い出る
事実12: あの可視は相互作用する
事実13: この創建時は見過ごすけど書き添えない
事実14: 「あの祭礼は相互作用する」ということは正しい
事実15: この創建時は街らしくない
事実16: もしもこの創建時が抜き難いしその上手工業ならそれは説明し易い
事実17: とろ臭いものはどさ回りだ
事実18: あの水溶性色素は育ち難くない

仮説: この創建時は説明し易くない
1. 事実5と事実7から、推論1: "この創建時は相互作用する"が導かれる
2. 事実2から、推論2: "「この創建時は相互作用しない」ということは間違っているなら説明し易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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