このパワーグラフは怠い
fact1: 仮になにかは成敗する一方で取り組み易くないとしたらそれは怠くらない fact2: この労働強化は成敗するがしかし取り組み易くない fact3: なんらかの物が奥床しいかまたは胃腸炎でないか両方であるとすれば胃腸炎でない fact4: 仮にとあるものはミティゲーションだとしたら「気まずいけど可愛らしいということはない」ということは誤りである fact5: この労働強化は取り組み易くない fact6: もしも「この労働強化は怠い」ということは事実だとするとその印刷前は木版画でないし加えて貸し倒れ引き当て金でない fact7: 何らかのものが可愛らしくないとしたら益無ししそれは離れ難い fact8: 離れ難くない物は奥床しいか胃腸炎でないか両方だ fact9: なにがしかのものが下半だとしたらそれは密封出来る fact10: 仮に「そのシリコングリスは酸っぱくないかまたは保ち易くない」ということは間違っているとしたら下半だ fact11: もし仮にこの労働強化が益無ししさらに離れ難いならその印刷前は離れ難くない fact12: ある物が密封出来るとするとそれはミティゲーションである fact13: もし「抉らなくて痛い」物があるとするとこのパワーグラフは怠い fact14: 「そのシリコングリスは酸っぱくないかもしくは保ち易くないかもしくは両方ともである」ということは確かでない fact15: 仮になんらかのものが抉らないししかも痛くないとすればこのパワーグラフは怠い fact16: もし「そのシリコングリスは気まずいが可愛らしくない」ということは成り立たないならばこの労働強化は可愛らしくない fact17: もし仮に「その印刷前は抉らなくておまけに痛いということはない」ということは真実でないとすればこの労働強化は成敗しない
void -> assump1: 以下のように仮定する。「その印刷前は抉らなくて痛くない」ということは成り立たない; fact17 & assump1 -> int1: この労働強化は成敗しない; fact2 -> int2: この労働強化は成敗する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その印刷前は抉らなくてそれにそれは痛くない; int4 -> int5: 「抉らなくてしかも痛くない」物はある; int5 & fact15 -> hypothesis;
このパワーグラフは怠くらない
fact25 -> int6: このパワーグラフが成敗するがそれが取り組み易くないとすれば怠くらない; fact23 -> int7: その印刷前が奥床しいかあるいはそれは胃腸炎でないかあるいは両方ともであるとすると胃腸炎でない; fact21 -> int8: もし仮にその印刷前は離れ難くないとすると「それは奥床しいかまたはそれは胃腸炎でない」ということは誤っているということはない; fact18 -> int9: もし仮にこの労働強化が可愛らしくないなら益無ししその上それは離れ難い; fact26 -> int10: 仮にそのシリコングリスはミティゲーションであるなら「気まずいしさらにそれは可愛らしくない」ということは間違いである; fact22 -> int11: もしもそのシリコングリスが密封出来るとするとそれはミティゲーションである; fact28 -> int12: 仮にそのシリコングリスは下半であるならば「密封出来る」ということは成り立つ; fact27 & fact24 -> int13: 「そのシリコングリスは下半だ」ということは確かである; int12 & int13 -> int14: そのシリコングリスは密封出来る; int11 & int14 -> int15: そのシリコングリスはミティゲーションである; int10 & int15 -> int16: 「そのシリコングリスは気まずいが可愛らしくない」ということは成り立たない; fact19 & int16 -> int17: この労働強化は可愛らしいということはない; int9 & int17 -> int18: この労働強化は益無しし離れ難い; fact20 & int18 -> int19: 「その印刷前は離れ難くない」ということは本当である; int8 & int19 -> int20: その印刷前は奥床しいかまたは胃腸炎でないか両方である; int7 & int20 -> int21: その印刷前は胃腸炎でない; int21 -> int22: 「胃腸炎でない」ものはある;
$facts$ = fact1: 仮になにかは成敗する一方で取り組み易くないとしたらそれは怠くらない fact2: この労働強化は成敗するがしかし取り組み易くない fact3: なんらかの物が奥床しいかまたは胃腸炎でないか両方であるとすれば胃腸炎でない fact4: 仮にとあるものはミティゲーションだとしたら「気まずいけど可愛らしいということはない」ということは誤りである fact5: この労働強化は取り組み易くない fact6: もしも「この労働強化は怠い」ということは事実だとするとその印刷前は木版画でないし加えて貸し倒れ引き当て金でない fact7: 何らかのものが可愛らしくないとしたら益無ししそれは離れ難い fact8: 離れ難くない物は奥床しいか胃腸炎でないか両方だ fact9: なにがしかのものが下半だとしたらそれは密封出来る fact10: 仮に「そのシリコングリスは酸っぱくないかまたは保ち易くない」ということは間違っているとしたら下半だ fact11: もし仮にこの労働強化が益無ししさらに離れ難いならその印刷前は離れ難くない fact12: ある物が密封出来るとするとそれはミティゲーションである fact13: もし「抉らなくて痛い」物があるとするとこのパワーグラフは怠い fact14: 「そのシリコングリスは酸っぱくないかもしくは保ち易くないかもしくは両方ともである」ということは確かでない fact15: 仮になんらかのものが抉らないししかも痛くないとすればこのパワーグラフは怠い fact16: もし「そのシリコングリスは気まずいが可愛らしくない」ということは成り立たないならばこの労働強化は可愛らしくない fact17: もし仮に「その印刷前は抉らなくておまけに痛いということはない」ということは真実でないとすればこの労働強化は成敗しない ; $hypothesis$ = このパワーグラフは怠い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その印刷前は抉らなくて痛くない」ということは成り立たない; fact17 & assump1 -> int1: この労働強化は成敗しない; fact2 -> int2: この労働強化は成敗する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その印刷前は抉らなくてそれにそれは痛くない; int4 -> int5: 「抉らなくてしかも痛くない」物はある; int5 & fact15 -> hypothesis; __PROVED__
事実1: 仮になにかは成敗する一方で取り組み易くないとしたらそれは怠くらない
事実2: この労働強化は成敗するがしかし取り組み易くない
事実3: なんらかの物が奥床しいかまたは胃腸炎でないか両方であるとすれば胃腸炎でない
事実4: 仮にとあるものはミティゲーションだとしたら「気まずいけど可愛らしいということはない」ということは誤りである
事実5: この労働強化は取り組み易くない
事実6: もしも「この労働強化は怠い」ということは事実だとするとその印刷前は木版画でないし加えて貸し倒れ引き当て金でない
事実7: 何らかのものが可愛らしくないとしたら益無ししそれは離れ難い
事実8: 離れ難くない物は奥床しいか胃腸炎でないか両方だ
事実9: なにがしかのものが下半だとしたらそれは密封出来る
事実10: 仮に「そのシリコングリスは酸っぱくないかまたは保ち易くない」ということは間違っているとしたら下半だ
事実11: もし仮にこの労働強化が益無ししさらに離れ難いならその印刷前は離れ難くない
事実12: ある物が密封出来るとするとそれはミティゲーションである
事実13: もし「抉らなくて痛い」物があるとするとこのパワーグラフは怠い
事実14: 「そのシリコングリスは酸っぱくないかもしくは保ち易くないかもしくは両方ともである」ということは確かでない
事実15: 仮になんらかのものが抉らないししかも痛くないとすればこのパワーグラフは怠い
事実16: もし「そのシリコングリスは気まずいが可愛らしくない」ということは成り立たないならばこの労働強化は可愛らしくない
事実17: もし仮に「その印刷前は抉らなくておまけに痛いということはない」ということは真実でないとすればこの労働強化は成敗しない

仮説: このパワーグラフは怠い
1. 仮定1: 以下のように仮定する。「その印刷前は抉らなくて痛くない」ということは成り立たない
2. 事実17と仮定1から、推論1: "この労働強化は成敗しない"が導かれる
3. 事実2から、推論2: "この労働強化は成敗する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その印刷前は抉らなくてそれにそれは痛くない"が導かれる
6. 推論4から、推論5: "「抉らなくてしかも痛くない」物はある"が導かれる
7. 推論5と事実15から、仮説が導かれる

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