この丸焼けは後ろ暗くないししかもそれは心憎いということはない
fact1: 「この丸焼けは注意するし売り逃す」ということは成り立つ fact2: もしもこの根気が称えるとしたらこのマクロレンズは愛情深くないかまたは睨み合うかまたはどちらもだ fact3: 後ろ暗くないものが飲み食いするなら再選するということはない fact4: 仮に何らかの物は称えらないとすると「それは姫だし加えて犯行者だ」ということは誤りである fact5: なにがしかの物が注意しないとするとそれは心憎いしその上売り逃す fact6: もし仮にあるものは称えるなら「それは後ろ暗くないしまた心憎いということはない」ということは成り立たない fact7: もし「この丸焼けは飲み食いするし更に売り逃す」ということは誤りならそれは再選しない fact8: 「この根気は再選しない」ということは真実である fact9: もしも「なんらかのものは飲み食いするし加えて再選する」ということは偽だとすると後ろ暗くない fact10: 「この根気は称える」ということは成り立つ fact11: 「この根気は称えるがしかし痛み易くない」ということは確かであるということはないとしたら「この丸焼けは称えらない」ということは事実だ fact12: このマクロレンズが心憎いとすればこの根気は後ろ暗くないけれどそれは飲み食いする fact13: あのポリカーボネートは注意しない fact14: もしこのマクロレンズが愛情深いということはないかあるいは睨み合うかどちらもならばこの丸焼けは痛み易くない fact15: このマクロレンズは飲み食いするか愛情深いかどちらもだ fact16: もし仮にこの丸焼けは痛み易いということはないとしたら「飲み食いするし再選する」ということは真実でない fact17: もしなにがしかのものは再選しないならば「それは称えるが痛み易くない」ということは成り立たない fact18: もし仮に何らかのものが注意するししかもそれは売り逃すなら「それは心憎くない」ということは間違いでない
fact2 & fact10 -> int1: このマクロレンズは愛情深くないかもしくはそれは睨み合う; int1 & fact14 -> int2: この丸焼けは痛み易くない; int2 & fact16 -> int3: 「「この丸焼けは飲み食いするし更に再選する」ということは成り立つ」ということは間違っている; fact9 -> int4: 「もし仮に「この丸焼けは飲み食いするしまた再選する」ということは嘘であるとするとこの丸焼けは後ろ暗くない」ということは成り立つ; int3 & int4 -> int5: この丸焼けは後ろ暗いということはない; fact18 -> int6: この丸焼けは注意するしかつ売り逃すなら心憎くない; int6 & fact1 -> int7: この丸焼けは心憎いということはない; int5 & int7 -> hypothesis;
「この丸焼けは姫であるし犯行者だ」ということは成り立つということはない
fact20 -> int8: もしこの丸焼けは称えないならば「姫であるしその上それは犯行者である」ということは嘘だ; fact22 -> int9: もしもこの根気は再選しないなら「それが称えるしその上痛み易いということはない」ということは事実と異なる; fact23 -> int10: もし仮にこの根気は後ろ暗いということはないけれど飲み食いするとすると再選しない; fact21 -> int11: このマクロレンズが注意するということはないとすればそれが心憎いしその上それは売り逃す;
$facts$ = fact1: 「この丸焼けは注意するし売り逃す」ということは成り立つ fact2: もしもこの根気が称えるとしたらこのマクロレンズは愛情深くないかまたは睨み合うかまたはどちらもだ fact3: 後ろ暗くないものが飲み食いするなら再選するということはない fact4: 仮に何らかの物は称えらないとすると「それは姫だし加えて犯行者だ」ということは誤りである fact5: なにがしかの物が注意しないとするとそれは心憎いしその上売り逃す fact6: もし仮にあるものは称えるなら「それは後ろ暗くないしまた心憎いということはない」ということは成り立たない fact7: もし「この丸焼けは飲み食いするし更に売り逃す」ということは誤りならそれは再選しない fact8: 「この根気は再選しない」ということは真実である fact9: もしも「なんらかのものは飲み食いするし加えて再選する」ということは偽だとすると後ろ暗くない fact10: 「この根気は称える」ということは成り立つ fact11: 「この根気は称えるがしかし痛み易くない」ということは確かであるということはないとしたら「この丸焼けは称えらない」ということは事実だ fact12: このマクロレンズが心憎いとすればこの根気は後ろ暗くないけれどそれは飲み食いする fact13: あのポリカーボネートは注意しない fact14: もしこのマクロレンズが愛情深いということはないかあるいは睨み合うかどちらもならばこの丸焼けは痛み易くない fact15: このマクロレンズは飲み食いするか愛情深いかどちらもだ fact16: もし仮にこの丸焼けは痛み易いということはないとしたら「飲み食いするし再選する」ということは真実でない fact17: もしなにがしかのものは再選しないならば「それは称えるが痛み易くない」ということは成り立たない fact18: もし仮に何らかのものが注意するししかもそれは売り逃すなら「それは心憎くない」ということは間違いでない ; $hypothesis$ = この丸焼けは後ろ暗くないししかもそれは心憎いということはない ; $proof$ = 
fact2 & fact10 -> int1: このマクロレンズは愛情深くないかもしくはそれは睨み合う; int1 & fact14 -> int2: この丸焼けは痛み易くない; int2 & fact16 -> int3: 「「この丸焼けは飲み食いするし更に再選する」ということは成り立つ」ということは間違っている; fact9 -> int4: 「もし仮に「この丸焼けは飲み食いするしまた再選する」ということは嘘であるとするとこの丸焼けは後ろ暗くない」ということは成り立つ; int3 & int4 -> int5: この丸焼けは後ろ暗いということはない; fact18 -> int6: この丸焼けは注意するしかつ売り逃すなら心憎くない; int6 & fact1 -> int7: この丸焼けは心憎いということはない; int5 & int7 -> hypothesis; __PROVED__
事実1: 「この丸焼けは注意するし売り逃す」ということは成り立つ
事実2: もしもこの根気が称えるとしたらこのマクロレンズは愛情深くないかまたは睨み合うかまたはどちらもだ
事実3: 後ろ暗くないものが飲み食いするなら再選するということはない
事実4: 仮に何らかの物は称えらないとすると「それは姫だし加えて犯行者だ」ということは誤りである
事実5: なにがしかの物が注意しないとするとそれは心憎いしその上売り逃す
事実6: もし仮にあるものは称えるなら「それは後ろ暗くないしまた心憎いということはない」ということは成り立たない
事実7: もし「この丸焼けは飲み食いするし更に売り逃す」ということは誤りならそれは再選しない
事実8: 「この根気は再選しない」ということは真実である
事実9: もしも「なんらかのものは飲み食いするし加えて再選する」ということは偽だとすると後ろ暗くない
事実10: 「この根気は称える」ということは成り立つ
事実11: 「この根気は称えるがしかし痛み易くない」ということは確かであるということはないとしたら「この丸焼けは称えらない」ということは事実だ
事実12: このマクロレンズが心憎いとすればこの根気は後ろ暗くないけれどそれは飲み食いする
事実13: あのポリカーボネートは注意しない
事実14: もしこのマクロレンズが愛情深いということはないかあるいは睨み合うかどちらもならばこの丸焼けは痛み易くない
事実15: このマクロレンズは飲み食いするか愛情深いかどちらもだ
事実16: もし仮にこの丸焼けは痛み易いということはないとしたら「飲み食いするし再選する」ということは真実でない
事実17: もしなにがしかのものは再選しないならば「それは称えるが痛み易くない」ということは成り立たない
事実18: もし仮に何らかのものが注意するししかもそれは売り逃すなら「それは心憎くない」ということは間違いでない

仮説: この丸焼けは後ろ暗くないししかもそれは心憎いということはない
1. 事実2と事実10から、推論1: "このマクロレンズは愛情深くないかもしくはそれは睨み合う"が導かれる
2. 推論1と事実14から、推論2: "この丸焼けは痛み易くない"が導かれる
3. 推論2と事実16から、推論3: "「「この丸焼けは飲み食いするし更に再選する」ということは成り立つ」ということは間違っている"が導かれる
4. 事実9から、推論4: "「もし仮に「この丸焼けは飲み食いするしまた再選する」ということは嘘であるとするとこの丸焼けは後ろ暗くない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この丸焼けは後ろ暗いということはない"が導かれる
6. 事実18から、推論6: "この丸焼けは注意するしかつ売り逃すなら心憎くない"が導かれる
7. 推論6と事実1から、推論7: "この丸焼けは心憎いということはない"が導かれる
8. 推論5と推論7から、仮説が導かれる

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