あの黒丸は奉納しない
fact1: この大阪地検は二様でないしさらにそれは駆け上らない fact2: 「もし仮にこの大阪地検が惜しくないとしたらあの黒丸は画材で煮え繰る」ということは確かである fact3: もしもこの中立化は老人保健制度ならば「それはせせこましくないかもしくは助力するかまたは両方である」ということは成り立たない fact4: もしその雪解け水が助力しないとしたら虐待対応である fact5: もし「助力しない」物があるとしたらこの中立化は首尾良くてそれにそれは虐待対応である fact6: 仮に何らかの物は代表的核型なら「それは惜しくないし煮え繰らない」ということは成り立つということはない fact7: 「この中立化は老人保健制度だ」ということは本当だ fact8: もし「なんらかの物はせせこましくないか画材であるかもしくはどちらもだ」ということは偽ならばそれは惜しくない fact9: この真昼間はせせこましい fact10: もしもなんらかの物は煮え繰らないとすれば「それは惜しくないか画材でないか両方ともだ」ということは誤りだ fact11: もしも何らかの物は低位経路でないならばそれは虐待対応である fact12: もしこの中立化が奉納しないとすると助力する fact13: この大阪地検は虐待対応でない fact14: もし「なにかは惜しくないか画材でないかもしくは両方である」ということは間違っているとすれば代表的核型でない fact15: 仮にこの大阪地検が二様でなくて駆け上らないとすれば煮え繰らない fact16: 「この大阪地検が代表的核型でないならその雪解け水は代表的核型だしさらに首尾良い」ということは成り立つ fact17: もしも「なにかは惜しくない」ということは本当だとすれば「それは代表的核型でないか助力しないかもしくはどちらもである」ということは間違っている fact18: 画材は奉納する fact19: 「その枝振りは助力する」ということは真実だ fact20: もし「この中立化はせせこましいということはないかもしくは助力するかもしくは両方ともだ」ということは嘘であるとすればその雪解け水は助力しない fact21: もし仮にその雪解け水が虐待対応であるしさらに首尾良いならあの黒丸は奉納するということはない fact22: もし仮にこの真昼間はせせこましいとしたら「それは助力するということはない」ということは真実である
fact15 & fact1 -> int1: この大阪地検は煮え繰らない; fact10 -> int2: もし仮にこの大阪地検は煮え繰らないとすると「それは惜しくないか画材だということはないかもしくは両方である」ということは偽だ; int1 & int2 -> int3: 「この大阪地検は惜しくないかもしくは画材でない」ということは確かでない; fact14 -> int4: 仮に「この大阪地検は惜しいということはないか画材でないかまたはどちらもだ」ということは誤っているなら「それは代表的核型であるということはない」ということは真実だ; int3 & int4 -> int5: この大阪地検は代表的核型でない; int5 & fact16 -> int6: その雪解け水が代表的核型だしおまけに首尾良い; int6 -> int7: その雪解け水は首尾良い; fact7 & fact3 -> int8: 「この中立化はせせこましくないかあるいは助力するかもしくはどちらもである」ということは成り立たない; fact20 & int8 -> int9: その雪解け水は助力しない; fact4 & int9 -> int10: その雪解け水は虐待対応である; int7 & int10 -> int11: その雪解け水は虐待対応であるしそれは首尾良い; int11 & fact21 -> hypothesis;
仮にあの黒丸は低位経路でないならそれは虐待対応である
fact23 -> hypothesis;
$facts$ = fact1: この大阪地検は二様でないしさらにそれは駆け上らない fact2: 「もし仮にこの大阪地検が惜しくないとしたらあの黒丸は画材で煮え繰る」ということは確かである fact3: もしもこの中立化は老人保健制度ならば「それはせせこましくないかもしくは助力するかまたは両方である」ということは成り立たない fact4: もしその雪解け水が助力しないとしたら虐待対応である fact5: もし「助力しない」物があるとしたらこの中立化は首尾良くてそれにそれは虐待対応である fact6: 仮に何らかの物は代表的核型なら「それは惜しくないし煮え繰らない」ということは成り立つということはない fact7: 「この中立化は老人保健制度だ」ということは本当だ fact8: もし「なんらかの物はせせこましくないか画材であるかもしくはどちらもだ」ということは偽ならばそれは惜しくない fact9: この真昼間はせせこましい fact10: もしもなんらかの物は煮え繰らないとすれば「それは惜しくないか画材でないか両方ともだ」ということは誤りだ fact11: もしも何らかの物は低位経路でないならばそれは虐待対応である fact12: もしこの中立化が奉納しないとすると助力する fact13: この大阪地検は虐待対応でない fact14: もし「なにかは惜しくないか画材でないかもしくは両方である」ということは間違っているとすれば代表的核型でない fact15: 仮にこの大阪地検が二様でなくて駆け上らないとすれば煮え繰らない fact16: 「この大阪地検が代表的核型でないならその雪解け水は代表的核型だしさらに首尾良い」ということは成り立つ fact17: もしも「なにかは惜しくない」ということは本当だとすれば「それは代表的核型でないか助力しないかもしくはどちらもである」ということは間違っている fact18: 画材は奉納する fact19: 「その枝振りは助力する」ということは真実だ fact20: もし「この中立化はせせこましいということはないかもしくは助力するかもしくは両方ともだ」ということは嘘であるとすればその雪解け水は助力しない fact21: もし仮にその雪解け水が虐待対応であるしさらに首尾良いならあの黒丸は奉納するということはない fact22: もし仮にこの真昼間はせせこましいとしたら「それは助力するということはない」ということは真実である ; $hypothesis$ = あの黒丸は奉納しない ; $proof$ = 
fact15 & fact1 -> int1: この大阪地検は煮え繰らない; fact10 -> int2: もし仮にこの大阪地検は煮え繰らないとすると「それは惜しくないか画材だということはないかもしくは両方である」ということは偽だ; int1 & int2 -> int3: 「この大阪地検は惜しくないかもしくは画材でない」ということは確かでない; fact14 -> int4: 仮に「この大阪地検は惜しいということはないか画材でないかまたはどちらもだ」ということは誤っているなら「それは代表的核型であるということはない」ということは真実だ; int3 & int4 -> int5: この大阪地検は代表的核型でない; int5 & fact16 -> int6: その雪解け水が代表的核型だしおまけに首尾良い; int6 -> int7: その雪解け水は首尾良い; fact7 & fact3 -> int8: 「この中立化はせせこましくないかあるいは助力するかもしくはどちらもである」ということは成り立たない; fact20 & int8 -> int9: その雪解け水は助力しない; fact4 & int9 -> int10: その雪解け水は虐待対応である; int7 & int10 -> int11: その雪解け水は虐待対応であるしそれは首尾良い; int11 & fact21 -> hypothesis; __PROVED__
事実1: この大阪地検は二様でないしさらにそれは駆け上らない
事実2: 「もし仮にこの大阪地検が惜しくないとしたらあの黒丸は画材で煮え繰る」ということは確かである
事実3: もしもこの中立化は老人保健制度ならば「それはせせこましくないかもしくは助力するかまたは両方である」ということは成り立たない
事実4: もしその雪解け水が助力しないとしたら虐待対応である
事実5: もし「助力しない」物があるとしたらこの中立化は首尾良くてそれにそれは虐待対応である
事実6: 仮に何らかの物は代表的核型なら「それは惜しくないし煮え繰らない」ということは成り立つということはない
事実7: 「この中立化は老人保健制度だ」ということは本当だ
事実8: もし「なんらかの物はせせこましくないか画材であるかもしくはどちらもだ」ということは偽ならばそれは惜しくない
事実9: この真昼間はせせこましい
事実10: もしもなんらかの物は煮え繰らないとすれば「それは惜しくないか画材でないか両方ともだ」ということは誤りだ
事実11: もしも何らかの物は低位経路でないならばそれは虐待対応である
事実12: もしこの中立化が奉納しないとすると助力する
事実13: この大阪地検は虐待対応でない
事実14: もし「なにかは惜しくないか画材でないかもしくは両方である」ということは間違っているとすれば代表的核型でない
事実15: 仮にこの大阪地検が二様でなくて駆け上らないとすれば煮え繰らない
事実16: 「この大阪地検が代表的核型でないならその雪解け水は代表的核型だしさらに首尾良い」ということは成り立つ
事実17: もしも「なにかは惜しくない」ということは本当だとすれば「それは代表的核型でないか助力しないかもしくはどちらもである」ということは間違っている
事実18: 画材は奉納する
事実19: 「その枝振りは助力する」ということは真実だ
事実20: もし「この中立化はせせこましいということはないかもしくは助力するかもしくは両方ともだ」ということは嘘であるとすればその雪解け水は助力しない
事実21: もし仮にその雪解け水が虐待対応であるしさらに首尾良いならあの黒丸は奉納するということはない
事実22: もし仮にこの真昼間はせせこましいとしたら「それは助力するということはない」ということは真実である

仮説: あの黒丸は奉納しない
1. 事実15と事実1から、推論1: "この大阪地検は煮え繰らない"が導かれる
2. 事実10から、推論2: "もし仮にこの大阪地検は煮え繰らないとすると「それは惜しくないか画材だということはないかもしくは両方である」ということは偽だ"が導かれる
3. 推論1と推論2から、推論3: "「この大阪地検は惜しくないかもしくは画材でない」ということは確かでない"が導かれる
4. 事実14から、推論4: "仮に「この大阪地検は惜しいということはないか画材でないかまたはどちらもだ」ということは誤っているなら「それは代表的核型であるということはない」ということは真実だ"が導かれる
5. 推論3と推論4から、推論5: "この大阪地検は代表的核型でない"が導かれる
6. 推論5と事実16から、推論6: "その雪解け水が代表的核型だしおまけに首尾良い"が導かれる
7. 推論6から、推論7: "その雪解け水は首尾良い"が導かれる
8. 事実7と事実3から、推論8: "「この中立化はせせこましくないかあるいは助力するかもしくはどちらもである」ということは成り立たない"が導かれる
9. 事実20と推論8から、推論9: "その雪解け水は助力しない"が導かれる
10. 事実4と推論9から、推論10: "その雪解け水は虐待対応である"が導かれる
11. 推論7と推論10から、推論11: "その雪解け水は虐待対応であるしそれは首尾良い"が導かれる
12. 推論11と事実21から、仮説が導かれる

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