あの化学物質調査は御聞きするということはないしおまけにそれは行動さない
fact1: もしも「この穀粉は切除出来るがしかし切り離し難くない」ということは嘘であるとしたらこの首無し死体は補償問題だ fact2: 「もしこの穀粉は医療活動だけど微笑み合うということはないなら「あの人参採取者達は医療活動だ」ということは事実だ」ということは正しい fact3: もしもこの首無し死体がいじらしいか補償問題であるかもしくは両方であるならあの化学物質調査は御聞きしない fact4: もし仮にあの人参採取者達は医療活動だとすると「それは程遠いけれど理由中でない」ということは誤っている fact5: もし「なんらかのものはせかせかしないけどそれは理由中だ」ということは成り立たないとしたらそれは微笑み合わない fact6: この浮沈は程遠くないなら「あの化学物質調査は御聞きしないし更にそれは行動さない」ということは間違っている fact7: 「あの人参採取者達はせかせかするし理由中である」ということは偽である fact8: 「その六十三．三．十四基発は藤原一族であるしかつ道端である」ということは誤りだ fact9: この浮沈は程遠い fact10: この浮沈が程遠いとしたらそれは医療活動だ fact11: もしこの浮沈は医療活動であるとすれば「あの人参採取者達はせかせかしないけど理由中だ」ということは成り立たない fact12: もし仮に「「藤原一族だし道端である」ということは成り立たない」ものがあるとするとあの化学物質調査は行動すらない fact13: もし仮にあの人参採取者達は微笑み合わないとすれば「この穀粉は切除出来るけどそれは切り離し難くない」ということは確かであるということはない fact14: 仮にその常時接続が程遠いとしたらそれは暗算する
fact10 & fact9 -> int1: 「この浮沈は医療活動だ」ということは成り立つ; int1 & fact11 -> int2: 「あの人参採取者達はせかせかしないがそれは理由中だ」ということは間違いだ; fact5 -> int3: 「あの人参採取者達はせかせかするということはないがしかし理由中である」ということは成り立つということはないならそれは微笑み合わない; int2 & int3 -> int4: あの人参採取者達は微笑み合うということはない; int4 & fact13 -> int5: 「この穀粉は切除出来るがしかしそれは切り離し難くない」ということは事実と異なる; int5 & fact1 -> int6: この首無し死体は補償問題である; int6 -> int7: この首無し死体はいじらしいかあるいは補償問題であるかあるいは両方だ; int7 & fact3 -> int8: あの化学物質調査は御聞きしない; fact8 -> int9: 「「藤原一族であるしその上道端だ」ということは誤りである」物はある; fact12 & int9 -> int10: あの化学物質調査は行動すらない; int8 & int10 -> hypothesis;
その常時接続は暗算するかまたは睦まじい
$facts$ = fact1: もしも「この穀粉は切除出来るがしかし切り離し難くない」ということは嘘であるとしたらこの首無し死体は補償問題だ fact2: 「もしこの穀粉は医療活動だけど微笑み合うということはないなら「あの人参採取者達は医療活動だ」ということは事実だ」ということは正しい fact3: もしもこの首無し死体がいじらしいか補償問題であるかもしくは両方であるならあの化学物質調査は御聞きしない fact4: もし仮にあの人参採取者達は医療活動だとすると「それは程遠いけれど理由中でない」ということは誤っている fact5: もし「なんらかのものはせかせかしないけどそれは理由中だ」ということは成り立たないとしたらそれは微笑み合わない fact6: この浮沈は程遠くないなら「あの化学物質調査は御聞きしないし更にそれは行動さない」ということは間違っている fact7: 「あの人参採取者達はせかせかするし理由中である」ということは偽である fact8: 「その六十三．三．十四基発は藤原一族であるしかつ道端である」ということは誤りだ fact9: この浮沈は程遠い fact10: この浮沈が程遠いとしたらそれは医療活動だ fact11: もしこの浮沈は医療活動であるとすれば「あの人参採取者達はせかせかしないけど理由中だ」ということは成り立たない fact12: もし仮に「「藤原一族だし道端である」ということは成り立たない」ものがあるとするとあの化学物質調査は行動すらない fact13: もし仮にあの人参採取者達は微笑み合わないとすれば「この穀粉は切除出来るけどそれは切り離し難くない」ということは確かであるということはない fact14: 仮にその常時接続が程遠いとしたらそれは暗算する ; $hypothesis$ = あの化学物質調査は御聞きするということはないしおまけにそれは行動さない ; $proof$ = 
fact10 & fact9 -> int1: 「この浮沈は医療活動だ」ということは成り立つ; int1 & fact11 -> int2: 「あの人参採取者達はせかせかしないがそれは理由中だ」ということは間違いだ; fact5 -> int3: 「あの人参採取者達はせかせかするということはないがしかし理由中である」ということは成り立つということはないならそれは微笑み合わない; int2 & int3 -> int4: あの人参採取者達は微笑み合うということはない; int4 & fact13 -> int5: 「この穀粉は切除出来るがしかしそれは切り離し難くない」ということは事実と異なる; int5 & fact1 -> int6: この首無し死体は補償問題である; int6 -> int7: この首無し死体はいじらしいかあるいは補償問題であるかあるいは両方だ; int7 & fact3 -> int8: あの化学物質調査は御聞きしない; fact8 -> int9: 「「藤原一族であるしその上道端だ」ということは誤りである」物はある; fact12 & int9 -> int10: あの化学物質調査は行動すらない; int8 & int10 -> hypothesis; __PROVED__
事実1: もしも「この穀粉は切除出来るがしかし切り離し難くない」ということは嘘であるとしたらこの首無し死体は補償問題だ
事実2: 「もしこの穀粉は医療活動だけど微笑み合うということはないなら「あの人参採取者達は医療活動だ」ということは事実だ」ということは正しい
事実3: もしもこの首無し死体がいじらしいか補償問題であるかもしくは両方であるならあの化学物質調査は御聞きしない
事実4: もし仮にあの人参採取者達は医療活動だとすると「それは程遠いけれど理由中でない」ということは誤っている
事実5: もし「なんらかのものはせかせかしないけどそれは理由中だ」ということは成り立たないとしたらそれは微笑み合わない
事実6: この浮沈は程遠くないなら「あの化学物質調査は御聞きしないし更にそれは行動さない」ということは間違っている
事実7: 「あの人参採取者達はせかせかするし理由中である」ということは偽である
事実8: 「その六十三．三．十四基発は藤原一族であるしかつ道端である」ということは誤りだ
事実9: この浮沈は程遠い
事実10: この浮沈が程遠いとしたらそれは医療活動だ
事実11: もしこの浮沈は医療活動であるとすれば「あの人参採取者達はせかせかしないけど理由中だ」ということは成り立たない
事実12: もし仮に「「藤原一族だし道端である」ということは成り立たない」ものがあるとするとあの化学物質調査は行動すらない
事実13: もし仮にあの人参採取者達は微笑み合わないとすれば「この穀粉は切除出来るけどそれは切り離し難くない」ということは確かであるということはない
事実14: 仮にその常時接続が程遠いとしたらそれは暗算する

仮説: あの化学物質調査は御聞きするということはないしおまけにそれは行動さない
1. 事実10と事実9から、推論1: "「この浮沈は医療活動だ」ということは成り立つ"が導かれる
2. 推論1と事実11から、推論2: "「あの人参採取者達はせかせかしないがそれは理由中だ」ということは間違いだ"が導かれる
3. 事実5から、推論3: "「あの人参採取者達はせかせかするということはないがしかし理由中である」ということは成り立つということはないならそれは微笑み合わない"が導かれる
4. 推論2と推論3から、推論4: "あの人参採取者達は微笑み合うということはない"が導かれる
5. 推論4と事実13から、推論5: "「この穀粉は切除出来るがしかしそれは切り離し難くない」ということは事実と異なる"が導かれる
6. 推論5と事実1から、推論6: "この首無し死体は補償問題である"が導かれる
7. 推論6から、推論7: "この首無し死体はいじらしいかあるいは補償問題であるかあるいは両方だ"が導かれる
8. 推論7と事実3から、推論8: "あの化学物質調査は御聞きしない"が導かれる
9. 事実8から、推論9: "「「藤原一族であるしその上道端だ」ということは誤りである」物はある"が導かれる
10. 事実12と推論9から、推論10: "あの化学物質調査は行動すらない"が導かれる
11. 推論8と推論10から、仮説が導かれる

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