あの治療指針は誘う
fact1: あの治療指針が誘うとすると決定す fact2: もしこのＨＤＤが共感するし並べるならあの治療指針は誘わない fact3: このＨＤＤが決定すらないとすればそれは並べる fact4: もしもこのＨＤＤが微量ミネラルだとすると共感する fact5: その複眼は並べるということはない fact6: もしもこのＨＤＤが認識し得るとすると誘う fact7: この十一時半頃は微量ミネラルだ fact8: あの治療指針は決定す fact9: この最終期は決定すらない fact10: 仮にあの治療指針が収容しないとすればストーンである fact11: このＨＤＤは微量ミネラルである fact12: このＨＤＤは決め難い fact13: あの快諾は誘う fact14: このＨＤＤは決定すということはない fact15: もし仮にこのＨＤＤが決定すなら誘う fact16: あの治療指針は並べる fact17: もしこのＨＤＤが無尽ならばそれは微量ミネラルだ fact18: あの圧縮空気は決定すということはない fact19: あの治療指針は共感しない fact20: その厩舎は並べる fact21: このＨＤＤは誘う
fact4 & fact11 -> int1: このＨＤＤは共感する; fact14 & fact3 -> int2: 「このＨＤＤは並べる」ということは嘘でない; int1 & int2 -> int3: このＨＤＤは共感するし並べる; int3 & fact2 -> hypothesis;
$facts$ = fact1: あの治療指針が誘うとすると決定す fact2: もしこのＨＤＤが共感するし並べるならあの治療指針は誘わない fact3: このＨＤＤが決定すらないとすればそれは並べる fact4: もしもこのＨＤＤが微量ミネラルだとすると共感する fact5: その複眼は並べるということはない fact6: もしもこのＨＤＤが認識し得るとすると誘う fact7: この十一時半頃は微量ミネラルだ fact8: あの治療指針は決定す fact9: この最終期は決定すらない fact10: 仮にあの治療指針が収容しないとすればストーンである fact11: このＨＤＤは微量ミネラルである fact12: このＨＤＤは決め難い fact13: あの快諾は誘う fact14: このＨＤＤは決定すということはない fact15: もし仮にこのＨＤＤが決定すなら誘う fact16: あの治療指針は並べる fact17: もしこのＨＤＤが無尽ならばそれは微量ミネラルだ fact18: あの圧縮空気は決定すということはない fact19: あの治療指針は共感しない fact20: その厩舎は並べる fact21: このＨＤＤは誘う ; $hypothesis$ = あの治療指針は誘う ; $proof$ = 
fact4 & fact11 -> int1: このＨＤＤは共感する; fact14 & fact3 -> int2: 「このＨＤＤは並べる」ということは嘘でない; int1 & int2 -> int3: このＨＤＤは共感するし並べる; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: あの治療指針が誘うとすると決定す
事実2: もしこのＨＤＤが共感するし並べるならあの治療指針は誘わない
事実3: このＨＤＤが決定すらないとすればそれは並べる
事実4: もしもこのＨＤＤが微量ミネラルだとすると共感する
事実5: その複眼は並べるということはない
事実6: もしもこのＨＤＤが認識し得るとすると誘う
事実7: この十一時半頃は微量ミネラルだ
事実8: あの治療指針は決定す
事実9: この最終期は決定すらない
事実10: 仮にあの治療指針が収容しないとすればストーンである
事実11: このＨＤＤは微量ミネラルである
事実12: このＨＤＤは決め難い
事実13: あの快諾は誘う
事実14: このＨＤＤは決定すということはない
事実15: もし仮にこのＨＤＤが決定すなら誘う
事実16: あの治療指針は並べる
事実17: もしこのＨＤＤが無尽ならばそれは微量ミネラルだ
事実18: あの圧縮空気は決定すということはない
事実19: あの治療指針は共感しない
事実20: その厩舎は並べる
事実21: このＨＤＤは誘う

仮説: あの治療指針は誘う
1. 事実4と事実11から、推論1: "このＨＤＤは共感する"が導かれる
2. 事実14と事実3から、推論2: "「このＨＤＤは並べる」ということは嘘でない"が導かれる
3. 推論1と推論2から、推論3: "このＨＤＤは共感するし並べる"が導かれる
4. 推論3と事実2から、仮説が否定される

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