この剥き海老は痛々しいということはない
fact1: 「この剥き海老は実際生活でそれは脳死状態だ」ということは成り立たない fact2: もし「「荒々しくておまけに連なる」ということは偽な」物があるとすればこの剥き海老は脳死状態でない fact3: もし仮にこの剥き海老が荒々しくないがしかしチーフ助監督であるとすると連ならない fact4: 「もし「上れない」ものがあればこの粒子交換は作り易くない」ということは成り立つ fact5: もしこの剥き海老は荒々しいしそれにチーフ助監督であるならば連ならない fact6: もし「この粒子交換は実際生活だ」ということは成り立つならこの剥き海老は実際生活でないがしかしそれは作り易い fact7: もし「この剥き海老は実際生活だがそれは脳死状態でない」ということは正しくないならば「痛々しくない」ということは成り立つ fact8: 仮にこの粒子交換は連ならないけどチーフ助監督であるとすると荒々しい fact9: 「その結核予防協会は支援するが実際生活でない」ということは嘘である fact10: 仮にこの粒子交換が手っ取り早いとすればあの結核予防協会は荒々しい fact11: もし仮にその結核予防協会が荒々しいならこの剥き海老は荒々しくないけれどチーフ助監督だ fact12: この剥き海老は荒々しくない fact13: 「「上れるしその上重い」ということは成り立たない」ものはある fact14: 「もし仮にその結核予防協会は荒々しいならば「この剥き海老は荒々しくない」ということは確かである」ということは成り立つ fact15: なにかは上れるし重い fact16: 「ある物は作り易くないけどそれは手っ取り早い」ということは成り立たないならば痛々しい fact17: もしもこの粒子交換は作り易くないならば「手っ取り早い」ということは成り立つ fact18: その結核予防協会は脳死状態である fact19: 仮に「その結核予防協会は支援する一方で実際生活でない」ということは誤りであるとするとそれは実際生活である fact20: もしこの剥き海老は連なるということはないならば「実際生活だしそれに脳死状態だ」ということは嘘である fact21: もしもあの丁稚が荒々しいとしたらそれは如此しない fact22: この剥き海老は連なるということはないなら「実際生活だけど脳死状態であるということはない」ということは誤りである fact23: もし仮に「「上れるし重い」ということは正しくない」ものがあるとすればこの粒子交換は作り易くない fact24: もし仮にそのヘア・第が作り易いかあるいは手っ取り早いかあるいは両方ともであるとするとそれは痛々しくない fact25: もしも「この剥き海老は脳死状態である」ということは事実と異ならないならばそれは痛々しいということはない
fact13 & fact23 -> int1: 「この粒子交換は作り易くない」ということは事実である; int1 & fact17 -> int2: この粒子交換は手っ取り早い; int2 & fact10 -> int3: その結核予防協会は荒々しい; int3 & fact11 -> int4: この剥き海老は荒々しくないけれどチーフ助監督だ; int4 & fact3 -> int5: この剥き海老は連ならない; int5 & fact22 -> int6: 「この剥き海老は実際生活だ一方でそれは脳死状態でない」ということは成り立たない; int6 & fact7 -> hypothesis;
そのヘア・第は痛々しくない
$facts$ = fact1: 「この剥き海老は実際生活でそれは脳死状態だ」ということは成り立たない fact2: もし「「荒々しくておまけに連なる」ということは偽な」物があるとすればこの剥き海老は脳死状態でない fact3: もし仮にこの剥き海老が荒々しくないがしかしチーフ助監督であるとすると連ならない fact4: 「もし「上れない」ものがあればこの粒子交換は作り易くない」ということは成り立つ fact5: もしこの剥き海老は荒々しいしそれにチーフ助監督であるならば連ならない fact6: もし「この粒子交換は実際生活だ」ということは成り立つならこの剥き海老は実際生活でないがしかしそれは作り易い fact7: もし「この剥き海老は実際生活だがそれは脳死状態でない」ということは正しくないならば「痛々しくない」ということは成り立つ fact8: 仮にこの粒子交換は連ならないけどチーフ助監督であるとすると荒々しい fact9: 「その結核予防協会は支援するが実際生活でない」ということは嘘である fact10: 仮にこの粒子交換が手っ取り早いとすればあの結核予防協会は荒々しい fact11: もし仮にその結核予防協会が荒々しいならこの剥き海老は荒々しくないけれどチーフ助監督だ fact12: この剥き海老は荒々しくない fact13: 「「上れるしその上重い」ということは成り立たない」ものはある fact14: 「もし仮にその結核予防協会は荒々しいならば「この剥き海老は荒々しくない」ということは確かである」ということは成り立つ fact15: なにかは上れるし重い fact16: 「ある物は作り易くないけどそれは手っ取り早い」ということは成り立たないならば痛々しい fact17: もしもこの粒子交換は作り易くないならば「手っ取り早い」ということは成り立つ fact18: その結核予防協会は脳死状態である fact19: 仮に「その結核予防協会は支援する一方で実際生活でない」ということは誤りであるとするとそれは実際生活である fact20: もしこの剥き海老は連なるということはないならば「実際生活だしそれに脳死状態だ」ということは嘘である fact21: もしもあの丁稚が荒々しいとしたらそれは如此しない fact22: この剥き海老は連なるということはないなら「実際生活だけど脳死状態であるということはない」ということは誤りである fact23: もし仮に「「上れるし重い」ということは正しくない」ものがあるとすればこの粒子交換は作り易くない fact24: もし仮にそのヘア・第が作り易いかあるいは手っ取り早いかあるいは両方ともであるとするとそれは痛々しくない fact25: もしも「この剥き海老は脳死状態である」ということは事実と異ならないならばそれは痛々しいということはない ; $hypothesis$ = この剥き海老は痛々しいということはない ; $proof$ = 
fact13 & fact23 -> int1: 「この粒子交換は作り易くない」ということは事実である; int1 & fact17 -> int2: この粒子交換は手っ取り早い; int2 & fact10 -> int3: その結核予防協会は荒々しい; int3 & fact11 -> int4: この剥き海老は荒々しくないけれどチーフ助監督だ; int4 & fact3 -> int5: この剥き海老は連ならない; int5 & fact22 -> int6: 「この剥き海老は実際生活だ一方でそれは脳死状態でない」ということは成り立たない; int6 & fact7 -> hypothesis; __PROVED__
事実1: 「この剥き海老は実際生活でそれは脳死状態だ」ということは成り立たない
事実2: もし「「荒々しくておまけに連なる」ということは偽な」物があるとすればこの剥き海老は脳死状態でない
事実3: もし仮にこの剥き海老が荒々しくないがしかしチーフ助監督であるとすると連ならない
事実4: 「もし「上れない」ものがあればこの粒子交換は作り易くない」ということは成り立つ
事実5: もしこの剥き海老は荒々しいしそれにチーフ助監督であるならば連ならない
事実6: もし「この粒子交換は実際生活だ」ということは成り立つならこの剥き海老は実際生活でないがしかしそれは作り易い
事実7: もし「この剥き海老は実際生活だがそれは脳死状態でない」ということは正しくないならば「痛々しくない」ということは成り立つ
事実8: 仮にこの粒子交換は連ならないけどチーフ助監督であるとすると荒々しい
事実9: 「その結核予防協会は支援するが実際生活でない」ということは嘘である
事実10: 仮にこの粒子交換が手っ取り早いとすればあの結核予防協会は荒々しい
事実11: もし仮にその結核予防協会が荒々しいならこの剥き海老は荒々しくないけれどチーフ助監督だ
事実12: この剥き海老は荒々しくない
事実13: 「「上れるしその上重い」ということは成り立たない」ものはある
事実14: 「もし仮にその結核予防協会は荒々しいならば「この剥き海老は荒々しくない」ということは確かである」ということは成り立つ
事実15: なにかは上れるし重い
事実16: 「ある物は作り易くないけどそれは手っ取り早い」ということは成り立たないならば痛々しい
事実17: もしもこの粒子交換は作り易くないならば「手っ取り早い」ということは成り立つ
事実18: その結核予防協会は脳死状態である
事実19: 仮に「その結核予防協会は支援する一方で実際生活でない」ということは誤りであるとするとそれは実際生活である
事実20: もしこの剥き海老は連なるということはないならば「実際生活だしそれに脳死状態だ」ということは嘘である
事実21: もしもあの丁稚が荒々しいとしたらそれは如此しない
事実22: この剥き海老は連なるということはないなら「実際生活だけど脳死状態であるということはない」ということは誤りである
事実23: もし仮に「「上れるし重い」ということは正しくない」ものがあるとすればこの粒子交換は作り易くない
事実24: もし仮にそのヘア・第が作り易いかあるいは手っ取り早いかあるいは両方ともであるとするとそれは痛々しくない
事実25: もしも「この剥き海老は脳死状態である」ということは事実と異ならないならばそれは痛々しいということはない

仮説: この剥き海老は痛々しいということはない
1. 事実13と事実23から、推論1: "「この粒子交換は作り易くない」ということは事実である"が導かれる
2. 推論1と事実17から、推論2: "この粒子交換は手っ取り早い"が導かれる
3. 推論2と事実10から、推論3: "その結核予防協会は荒々しい"が導かれる
4. 推論3と事実11から、推論4: "この剥き海老は荒々しくないけれどチーフ助監督だ"が導かれる
5. 推論4と事実3から、推論5: "この剥き海老は連ならない"が導かれる
6. 推論5と事実22から、推論6: "「この剥き海老は実際生活だ一方でそれは脳死状態でない」ということは成り立たない"が導かれる
7. 推論6と事実7から、仮説が導かれる

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