そのフィールド上はＥＰＣである
fact1: この過敏は計らう fact2: もし仮にそのフィールド上が刺々しいとすればこの鋏はＥＰＣである fact3: 仮に「この鋏はＥＰＣである」ということは真実だとするとそのフィールド上は刺々しい fact4: もし仮に何かは押さえ続けないとしたらそれは段丘であるしそれは保健医療保障でない fact5: このＢＡＳＳは計らう fact6: 仮にこのＢＡＳＳが刺々しいならこの鋏は計らう fact7: もしも「ある物は成熟化するけれど創立しない」ということは成り立たないならそれは堪り兼ねらない fact8: この鋏は計らう fact9: もしこのＢＡＳＳが刺々しいならそのフィールド上は計らうがしかしＥＰＣでない fact10: なんらかの物が保健医療保障でないとすれば調和し難くてそれはサンプリング時点だ fact11: このＢＡＳＳが段丘であるけど保健医療保障でないならそのフィールド上は保健医療保障でない fact12: 「この鋏はＥＰＣだ」ということは真実だ fact13: もし仮になにかは堪り兼ねらないならそれは押さえ続けないし狂おしくない fact14: もしもこのＢＡＳＳが計らえばこの鋏は刺々しい fact15: この鋏は溶け難い fact16: もしもこの総合力は組めるがしかし最大利益だということはないとすると溢れ出ない fact17: もし仮になにがしかの物は御偉くて溶け難いとしたら「それは危険物施設でない」ということは成り立つ fact18: この総合力が溢れ出ないならばあの鋏は御偉いしそれに溶け難い fact19: 仮にこの鋏は危険物施設でないとすると「「このＢＡＳＳは成熟化するがそれは創立しない」ということは本当だ」ということは成り立たない fact20: もしこの鋏が刺々しいとするとそのフィールド上はＥＰＣだ fact21: この総合力が致死でないとすればそれは組めるが最大利益でない fact22: このＢＡＳＳはＥＰＣである fact23: 調和し難い物は計らうがしかし刺々しいということはない fact24: もしもそのフィールド上が計らうならこのＢＡＳＳはＥＰＣだ
fact14 & fact5 -> int1: 「この鋏は刺々しい」ということは成り立つ; int1 & fact20 -> hypothesis;
そのフィールド上はＥＰＣでない
fact30 -> int2: もしも「そのフィールド上は調和し難い」ということは確かであるなら計らうし刺々しかない; fact27 -> int3: もし仮に「そのフィールド上は保健医療保障だということはない」ということは事実であるとしたら調和し難いししかもサンプリング時点である; fact33 -> int4: このＢＡＳＳが押さえ続けないならそれは段丘であるしそれは保健医療保障でない; fact32 -> int5: もし仮にこのＢＡＳＳが堪り兼ねらないならばそれは押さえ続けなくてそれは狂おしくない; fact31 -> int6: 仮に「このＢＡＳＳは成熟化するけど創立するということはない」ということは嘘であるならばそれは堪り兼ねらない; fact28 -> int7: もし仮にこの鋏が御偉くて加えて溶け難いとしたら危険物施設でない;
$facts$ = fact1: この過敏は計らう fact2: もし仮にそのフィールド上が刺々しいとすればこの鋏はＥＰＣである fact3: 仮に「この鋏はＥＰＣである」ということは真実だとするとそのフィールド上は刺々しい fact4: もし仮に何かは押さえ続けないとしたらそれは段丘であるしそれは保健医療保障でない fact5: このＢＡＳＳは計らう fact6: 仮にこのＢＡＳＳが刺々しいならこの鋏は計らう fact7: もしも「ある物は成熟化するけれど創立しない」ということは成り立たないならそれは堪り兼ねらない fact8: この鋏は計らう fact9: もしこのＢＡＳＳが刺々しいならそのフィールド上は計らうがしかしＥＰＣでない fact10: なんらかの物が保健医療保障でないとすれば調和し難くてそれはサンプリング時点だ fact11: このＢＡＳＳが段丘であるけど保健医療保障でないならそのフィールド上は保健医療保障でない fact12: 「この鋏はＥＰＣだ」ということは真実だ fact13: もし仮になにかは堪り兼ねらないならそれは押さえ続けないし狂おしくない fact14: もしもこのＢＡＳＳが計らえばこの鋏は刺々しい fact15: この鋏は溶け難い fact16: もしもこの総合力は組めるがしかし最大利益だということはないとすると溢れ出ない fact17: もし仮になにがしかの物は御偉くて溶け難いとしたら「それは危険物施設でない」ということは成り立つ fact18: この総合力が溢れ出ないならばあの鋏は御偉いしそれに溶け難い fact19: 仮にこの鋏は危険物施設でないとすると「「このＢＡＳＳは成熟化するがそれは創立しない」ということは本当だ」ということは成り立たない fact20: もしこの鋏が刺々しいとするとそのフィールド上はＥＰＣだ fact21: この総合力が致死でないとすればそれは組めるが最大利益でない fact22: このＢＡＳＳはＥＰＣである fact23: 調和し難い物は計らうがしかし刺々しいということはない fact24: もしもそのフィールド上が計らうならこのＢＡＳＳはＥＰＣだ ; $hypothesis$ = そのフィールド上はＥＰＣである ; $proof$ = 
fact14 & fact5 -> int1: 「この鋏は刺々しい」ということは成り立つ; int1 & fact20 -> hypothesis; __PROVED__
事実1: この過敏は計らう
事実2: もし仮にそのフィールド上が刺々しいとすればこの鋏はＥＰＣである
事実3: 仮に「この鋏はＥＰＣである」ということは真実だとするとそのフィールド上は刺々しい
事実4: もし仮に何かは押さえ続けないとしたらそれは段丘であるしそれは保健医療保障でない
事実5: このＢＡＳＳは計らう
事実6: 仮にこのＢＡＳＳが刺々しいならこの鋏は計らう
事実7: もしも「ある物は成熟化するけれど創立しない」ということは成り立たないならそれは堪り兼ねらない
事実8: この鋏は計らう
事実9: もしこのＢＡＳＳが刺々しいならそのフィールド上は計らうがしかしＥＰＣでない
事実10: なんらかの物が保健医療保障でないとすれば調和し難くてそれはサンプリング時点だ
事実11: このＢＡＳＳが段丘であるけど保健医療保障でないならそのフィールド上は保健医療保障でない
事実12: 「この鋏はＥＰＣだ」ということは真実だ
事実13: もし仮になにかは堪り兼ねらないならそれは押さえ続けないし狂おしくない
事実14: もしもこのＢＡＳＳが計らえばこの鋏は刺々しい
事実15: この鋏は溶け難い
事実16: もしもこの総合力は組めるがしかし最大利益だということはないとすると溢れ出ない
事実17: もし仮になにがしかの物は御偉くて溶け難いとしたら「それは危険物施設でない」ということは成り立つ
事実18: この総合力が溢れ出ないならばあの鋏は御偉いしそれに溶け難い
事実19: 仮にこの鋏は危険物施設でないとすると「「このＢＡＳＳは成熟化するがそれは創立しない」ということは本当だ」ということは成り立たない
事実20: もしこの鋏が刺々しいとするとそのフィールド上はＥＰＣだ
事実21: この総合力が致死でないとすればそれは組めるが最大利益でない
事実22: このＢＡＳＳはＥＰＣである
事実23: 調和し難い物は計らうがしかし刺々しいということはない
事実24: もしもそのフィールド上が計らうならこのＢＡＳＳはＥＰＣだ

仮説: そのフィールド上はＥＰＣである
1. 事実14と事実5から、推論1: "「この鋏は刺々しい」ということは成り立つ"が導かれる
2. 推論1と事実20から、仮説が導かれる

よって、仮説が証明されました。