あの質入地は下がらない
fact1: もしこの均衡処遇モデルが親しいとしたらあの質入地は親しい fact2: あの質入地はめでたし fact3: もし仮にとあるものが擦り減らすとしたらそれは算出する fact4: その五言詩註本は御存じ有る fact5: 仮にこの均衡処遇モデルが擦り減らすとしたらその五言詩註本は擦り減らす fact6: もし仮にその五言詩註本が擦り減らすとしたらあの質入地は算出する fact7: あの質入地は算出する fact8: もし仮にこの均衡処遇モデルが擦り減らすとすればそれは下がる fact9: もしもあの質入地が下がればこの均衡処遇モデルは下がる fact10: この均衡処遇モデルは擦り減らす fact11: その幽門腺は下がる fact12: もしもこの均衡処遇モデルが擦り減らさない一方で算出するならばあの質入地は下がらない fact13: この均衡処遇モデルは下がる fact14: あの読書レディネスは擦り減らす fact15: もし仮にその五言詩註本が算出するとしたらこの均衡処遇モデルは算出する fact16: もしもこの均衡処遇モデルが擦り減らせばあの質入地は擦り減らす fact17: その五言詩註本が算出するとするとあの質入地は算出する fact18: あの質入地は持する fact19: 仮になんらかの物は下がるとすれば「算出する」ということは本当だ fact20: もしあの質入地が伝わり易いなら擦り減らす fact21: 「もし仮にこの均衡処遇モデルは止み難くないとすると「この均衡処遇モデルは受け辛くてまた疚しい」ということは真実である」ということは誤りでない fact22: もしもその五言詩註本が算出するとするとあの質入地は下がる fact23: もし仮にその五言詩註本は下がるなら「あの質入地は下がる」ということは確かだ fact24: 「この均衡処遇モデルは下がる」ということは成り立つとするとあの質入地は擦り減らす fact25: あの質入地は擦り減らす
fact3 -> int1: もしも「その五言詩註本は擦り減らさない」ということは成り立たないならそれは算出する; fact5 & fact10 -> int2: その五言詩註本は擦り減らす; int1 & int2 -> int3: その五言詩註本は算出する; int3 & fact22 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; fact5 & fact10 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact22 -> hypothesis;
あの質入地は下がらない
$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: 「この均衡処遇モデルは下がる」ということは成り立つとするとあの質入地は擦り減らす fact25: あの質入地は擦り減らす ; $hypothesis$ = あの質入地は下がらない ; $proof$ = 
fact3 -> int1: もしも「その五言詩註本は擦り減らさない」ということは成り立たないならそれは算出する; fact5 & fact10 -> int2: その五言詩註本は擦り減らす; int1 & int2 -> int3: その五言詩註本は算出する; int3 & fact22 -> hypothesis; __DISPROVED__
事実1: もしこの均衡処遇モデルが親しいとしたらあの質入地は親しい
事実2: あの質入地はめでたし
事実3: もし仮にとあるものが擦り減らすとしたらそれは算出する
事実4: その五言詩註本は御存じ有る
事実5: 仮にこの均衡処遇モデルが擦り減らすとしたらその五言詩註本は擦り減らす
事実6: もし仮にその五言詩註本が擦り減らすとしたらあの質入地は算出する
事実7: あの質入地は算出する
事実8: もし仮にこの均衡処遇モデルが擦り減らすとすればそれは下がる
事実9: もしもあの質入地が下がればこの均衡処遇モデルは下がる
事実10: この均衡処遇モデルは擦り減らす
事実11: その幽門腺は下がる
事実12: もしもこの均衡処遇モデルが擦り減らさない一方で算出するならばあの質入地は下がらない
事実13: この均衡処遇モデルは下がる
事実14: あの読書レディネスは擦り減らす
事実15: もし仮にその五言詩註本が算出するとしたらこの均衡処遇モデルは算出する
事実16: もしもこの均衡処遇モデルが擦り減らせばあの質入地は擦り減らす
事実17: その五言詩註本が算出するとするとあの質入地は算出する
事実18: あの質入地は持する
事実19: 仮になんらかの物は下がるとすれば「算出する」ということは本当だ
事実20: もしあの質入地が伝わり易いなら擦り減らす
事実21: 「もし仮にこの均衡処遇モデルは止み難くないとすると「この均衡処遇モデルは受け辛くてまた疚しい」ということは真実である」ということは誤りでない
事実22: もしもその五言詩註本が算出するとするとあの質入地は下がる
事実23: もし仮にその五言詩註本は下がるなら「あの質入地は下がる」ということは確かだ
事実24: 「この均衡処遇モデルは下がる」ということは成り立つとするとあの質入地は擦り減らす
事実25: あの質入地は擦り減らす

仮説: あの質入地は下がらない
1. 事実3から、推論1: "もしも「その五言詩註本は擦り減らさない」ということは成り立たないならそれは算出する"が導かれる
2. 事実5と事実10から、推論2: "その五言詩註本は擦り減らす"が導かれる
3. 推論1と推論2から、推論3: "その五言詩註本は算出する"が導かれる
4. 推論3と事実22から、仮説が否定される

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