あの清澄さは招き易いけどそれはピケでない
fact1: もしなにかは生き辛いなら「あの清澄さは秘めないがしかしそれはピケだ」ということは間違っている fact2: 仮に「あの清澄さは秘めない一方でそれはピケだ」ということは間違いであるとしたらそれはピケでない fact3: もしもその功力はハード面でないとすると「あの完全治癒は押し付けがましいがハード面だということはない」ということは間違いだ fact4: もし「組み敷かない」物はあるとしたら「そのＢＩＮＤは後部車両でない一方で製本する」ということは成り立たない fact5: 何かはハード面であるとすれば「招き易い一方でピケでない」ということは偽である fact6: その功力が押し付けがましくらないかもしくはそれが慮るとしたらあの清澄さはハード面だ fact7: もし仮にその功力がハード面ならばあのＢＩＮＤは後部車両でない一方で製本する fact8: もし「何かは押し付けがましくらないしハード面でない」ということは誤っているとするとそれは恥ずかしない fact9: もし「あるものは押し付けがましいけどそれはハード面でない」ということは偽ならそれは慮らない fact10: この五十肩は生き辛い fact11: もしも何かは組み敷かないとするとそれが押し付けはましくらないかもしくは慮るかまたはどちらもだ fact12: もしそのＢＩＮＤが慮らないとするとあの完全治癒は後部車両だ fact13: なんらかの物は組み敷かない fact14: もしもあの完全治癒が慮らないとしたらあの清澄さは招き易い
void -> assump1: 以下のように仮定する。その功力はハード面だ; fact7 & assump1 -> int1: そのＢＩＮＤは後部車両だということはないが製本する; fact4 & fact13 -> int2: 「そのＢＩＮＤは後部車両でないがそれは製本する」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その功力はハード面でない; int4 & fact3 -> int5: 「あの完全治癒は押し付けがましい一方でハード面でない」ということは成り立たない; fact9 -> int6: もしも「あの完全治癒は押し付けがましいけれどそれはハード面であるということはない」ということは成り立たないなら慮るということはない; int5 & int6 -> int7: あの完全治癒は慮らない; int7 & fact14 -> int8: あの清澄さは招き易い; fact10 -> int9: 「「生き辛い」ということは確かな」ものはある; int9 & fact1 -> int10: 「あの清澄さは秘めない一方でそれはピケだ」ということは事実と異なる; fact2 & int10 -> int11: あの清澄さはピケでない; int8 & int11 -> hypothesis;
何らかのものは恥ずかしない
fact15 -> int12: 「その功力が押し付けはましくらないし更にハード面でない」ということは間違いだとすればそれは恥ずかしない;
$facts$ = fact1: もしなにかは生き辛いなら「あの清澄さは秘めないがしかしそれはピケだ」ということは間違っている fact2: 仮に「あの清澄さは秘めない一方でそれはピケだ」ということは間違いであるとしたらそれはピケでない fact3: もしもその功力はハード面でないとすると「あの完全治癒は押し付けがましいがハード面だということはない」ということは間違いだ fact4: もし「組み敷かない」物はあるとしたら「そのＢＩＮＤは後部車両でない一方で製本する」ということは成り立たない fact5: 何かはハード面であるとすれば「招き易い一方でピケでない」ということは偽である fact6: その功力が押し付けがましくらないかもしくはそれが慮るとしたらあの清澄さはハード面だ fact7: もし仮にその功力がハード面ならばあのＢＩＮＤは後部車両でない一方で製本する fact8: もし「何かは押し付けがましくらないしハード面でない」ということは誤っているとするとそれは恥ずかしない fact9: もし「あるものは押し付けがましいけどそれはハード面でない」ということは偽ならそれは慮らない fact10: この五十肩は生き辛い fact11: もしも何かは組み敷かないとするとそれが押し付けはましくらないかもしくは慮るかまたはどちらもだ fact12: もしそのＢＩＮＤが慮らないとするとあの完全治癒は後部車両だ fact13: なんらかの物は組み敷かない fact14: もしもあの完全治癒が慮らないとしたらあの清澄さは招き易い ; $hypothesis$ = あの清澄さは招き易いけどそれはピケでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その功力はハード面だ; fact7 & assump1 -> int1: そのＢＩＮＤは後部車両だということはないが製本する; fact4 & fact13 -> int2: 「そのＢＩＮＤは後部車両でないがそれは製本する」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その功力はハード面でない; int4 & fact3 -> int5: 「あの完全治癒は押し付けがましい一方でハード面でない」ということは成り立たない; fact9 -> int6: もしも「あの完全治癒は押し付けがましいけれどそれはハード面であるということはない」ということは成り立たないなら慮るということはない; int5 & int6 -> int7: あの完全治癒は慮らない; int7 & fact14 -> int8: あの清澄さは招き易い; fact10 -> int9: 「「生き辛い」ということは確かな」ものはある; int9 & fact1 -> int10: 「あの清澄さは秘めない一方でそれはピケだ」ということは事実と異なる; fact2 & int10 -> int11: あの清澄さはピケでない; int8 & int11 -> hypothesis; __PROVED__
事実1: もしなにかは生き辛いなら「あの清澄さは秘めないがしかしそれはピケだ」ということは間違っている
事実2: 仮に「あの清澄さは秘めない一方でそれはピケだ」ということは間違いであるとしたらそれはピケでない
事実3: もしもその功力はハード面でないとすると「あの完全治癒は押し付けがましいがハード面だということはない」ということは間違いだ
事実4: もし「組み敷かない」物はあるとしたら「そのＢＩＮＤは後部車両でない一方で製本する」ということは成り立たない
事実5: 何かはハード面であるとすれば「招き易い一方でピケでない」ということは偽である
事実6: その功力が押し付けがましくらないかもしくはそれが慮るとしたらあの清澄さはハード面だ
事実7: もし仮にその功力がハード面ならばあのＢＩＮＤは後部車両でない一方で製本する
事実8: もし「何かは押し付けがましくらないしハード面でない」ということは誤っているとするとそれは恥ずかしない
事実9: もし「あるものは押し付けがましいけどそれはハード面でない」ということは偽ならそれは慮らない
事実10: この五十肩は生き辛い
事実11: もしも何かは組み敷かないとするとそれが押し付けはましくらないかもしくは慮るかまたはどちらもだ
事実12: もしそのＢＩＮＤが慮らないとするとあの完全治癒は後部車両だ
事実13: なんらかの物は組み敷かない
事実14: もしもあの完全治癒が慮らないとしたらあの清澄さは招き易い

仮説: あの清澄さは招き易いけどそれはピケでない
1. 仮定1: 以下のように仮定する。その功力はハード面だ
2. 事実7と仮定1から、推論1: "そのＢＩＮＤは後部車両だということはないが製本する"が導かれる
3. 事実4と事実13から、推論2: "「そのＢＩＮＤは後部車両でないがそれは製本する」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その功力はハード面でない"が導かれる
6. 推論4と事実3から、推論5: "「あの完全治癒は押し付けがましい一方でハード面でない」ということは成り立たない"が導かれる
7. 事実9から、推論6: "もしも「あの完全治癒は押し付けがましいけれどそれはハード面であるということはない」ということは成り立たないなら慮るということはない"が導かれる
8. 推論5と推論6から、推論7: "あの完全治癒は慮らない"が導かれる
9. 推論7と事実14から、推論8: "あの清澄さは招き易い"が導かれる
10. 事実10から、推論9: "「「生き辛い」ということは確かな」ものはある"が導かれる
11. 推論9と事実1から、推論10: "「あの清澄さは秘めない一方でそれはピケだ」ということは事実と異なる"が導かれる
12. 事実2と推論10から、推論11: "あの清澄さはピケでない"が導かれる
13. 推論8と推論11から、仮説が導かれる

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