その一粒は太り難いしＲＯＭだ
fact1: 「その届け物は飽きっぽいが交差しない」ということは偽である fact2: もしその社会教育主事が線図でないならばこの長円形は姉らしくないがしかし盛り付けだ fact3: そのボクシーがびくつかないとしたらその社会教育主事は御偉いがしかしそれは線図でない fact4: もしなんらかのものは泡立て器でないなら「それは太り難いしおまけにＲＯＭだ」ということは成り立つということはない fact5: 仮に「なにかはＲＯＭだがそれは学徒勤労動員でない」ということは間違っているなら「泡立て器でない」ということは誤りだ fact6: そのボクシーが貴方らしくない一方でそれは過不足状況であるならびくつかない fact7: もしこの時目は泡立て器であるということはないとすると「事らしいが学徒勤労動員でない」ということは誤っている fact8: もし「その届け物はチーフ・カメラマンだ」ということは成り立つとするとこの時目は交差しないが補助漢字だ fact9: 「「事らしいが学徒勤労動員でない」ということは確かであるということはない」ものがあればその一粒は読み返さない fact10: その一粒は交差しない fact11: もしこの時目は雨水貯留タンクでないとしたら「それは細胞シートであるしかつ太り難い」ということは確かでない fact12: 補助漢字は外出するということはないがしかし読み返す fact13: もしもこの長円形は御呉ん為さらないならば「その届け物は思い易くないが育て易い」ということは嘘である fact14: 仮に「「育て易くない一方でチーフ・カメラマンである」ということは成り立たない」ものがあるとしたらその届け物はチーフ・カメラマンでない fact15: 姉らしくない物は盛り付けであるとすれば御呉ん為さらない fact16: もしその一粒は交差しないとすると「それは外出するし補助漢字でない」ということは成り立たない fact17: もし「何かは外出するがそれは補助漢字でない」ということは間違っているとするとＲＯＭである fact18: 「何らかのものは思い易くないがしかし育て易い」ということは成り立つということはないとしたら「チーフ・カメラマンだ」ということは成り立つ fact19: この時目は泡立て器でない fact20: その届け物は生み難くないなら「育て易いけど愛情深くない」ということは誤りだ fact21: もし仮にその届け物はチーフ・カメラマンであるということはないとしたら「その一粒は太り難くないしおまけに読み返さない」ということは間違っている fact22: 「「育て易くないしおまけにチーフ・カメラマンである」ということは成り立たない」ものはある
fact7 & fact19 -> int1: 「この時目は事らしいがしかしそれは学徒勤労動員でない」ということは誤りである; int1 -> int2: 「「事らしいけれど学徒勤労動員でない」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: その一粒は読み返さない; void -> assump1: 以下のように仮定する。その一粒は太り難くない; int3 & assump1 -> int4: その一粒は太り難くないし読み返さない; fact22 & fact14 -> int5: その届け物はチーフ・カメラマンだということはない; int5 & fact21 -> int6: 「その一粒は太り難くないし加えてそれは読み返すということはない」ということは成り立たない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その一粒は太り難い; fact10 & fact16 -> int9: 「その一粒は外出するけど補助漢字でない」ということは嘘である; fact17 -> int10: 仮に「その一粒は外出するけどそれは補助漢字でない」ということは間違いであるとするとＲＯＭだ; int9 & int10 -> int11: その一粒はＲＯＭだ; int8 & int11 -> hypothesis;
「その一粒は太り難くて加えてＲＯＭである」ということは事実でない
fact30 -> int12: もしもその一粒は泡立て器でないならば「太り難くてかつＲＯＭである」ということは成り立たない; fact28 -> int13: もし仮にこの時目は補助漢字であるとすればそれは外出しない一方で読み返す; fact24 -> int14: もしも「その届け物は思い易くないがしかしそれは育て易い」ということは成り立つということはないとすればそれはチーフ・カメラマンである; fact26 -> int15: 「もしこの長円形が姉らしいということはないけれど盛り付けであるならこの長円形は御呉ん為さらない」ということは事実と異ならない;
$facts$ = fact1: 「その届け物は飽きっぽいが交差しない」ということは偽である fact2: もしその社会教育主事が線図でないならばこの長円形は姉らしくないがしかし盛り付けだ fact3: そのボクシーがびくつかないとしたらその社会教育主事は御偉いがしかしそれは線図でない fact4: もしなんらかのものは泡立て器でないなら「それは太り難いしおまけにＲＯＭだ」ということは成り立つということはない fact5: 仮に「なにかはＲＯＭだがそれは学徒勤労動員でない」ということは間違っているなら「泡立て器でない」ということは誤りだ fact6: そのボクシーが貴方らしくない一方でそれは過不足状況であるならびくつかない fact7: もしこの時目は泡立て器であるということはないとすると「事らしいが学徒勤労動員でない」ということは誤っている fact8: もし「その届け物はチーフ・カメラマンだ」ということは成り立つとするとこの時目は交差しないが補助漢字だ fact9: 「「事らしいが学徒勤労動員でない」ということは確かであるということはない」ものがあればその一粒は読み返さない fact10: その一粒は交差しない fact11: もしこの時目は雨水貯留タンクでないとしたら「それは細胞シートであるしかつ太り難い」ということは確かでない fact12: 補助漢字は外出するということはないがしかし読み返す fact13: もしもこの長円形は御呉ん為さらないならば「その届け物は思い易くないが育て易い」ということは嘘である fact14: 仮に「「育て易くない一方でチーフ・カメラマンである」ということは成り立たない」ものがあるとしたらその届け物はチーフ・カメラマンでない fact15: 姉らしくない物は盛り付けであるとすれば御呉ん為さらない fact16: もしその一粒は交差しないとすると「それは外出するし補助漢字でない」ということは成り立たない fact17: もし「何かは外出するがそれは補助漢字でない」ということは間違っているとするとＲＯＭである fact18: 「何らかのものは思い易くないがしかし育て易い」ということは成り立つということはないとしたら「チーフ・カメラマンだ」ということは成り立つ fact19: この時目は泡立て器でない fact20: その届け物は生み難くないなら「育て易いけど愛情深くない」ということは誤りだ fact21: もし仮にその届け物はチーフ・カメラマンであるということはないとしたら「その一粒は太り難くないしおまけに読み返さない」ということは間違っている fact22: 「「育て易くないしおまけにチーフ・カメラマンである」ということは成り立たない」ものはある ; $hypothesis$ = その一粒は太り難いしＲＯＭだ ; $proof$ = 
fact7 & fact19 -> int1: 「この時目は事らしいがしかしそれは学徒勤労動員でない」ということは誤りである; int1 -> int2: 「「事らしいけれど学徒勤労動員でない」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: その一粒は読み返さない; void -> assump1: 以下のように仮定する。その一粒は太り難くない; int3 & assump1 -> int4: その一粒は太り難くないし読み返さない; fact22 & fact14 -> int5: その届け物はチーフ・カメラマンだということはない; int5 & fact21 -> int6: 「その一粒は太り難くないし加えてそれは読み返すということはない」ということは成り立たない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その一粒は太り難い; fact10 & fact16 -> int9: 「その一粒は外出するけど補助漢字でない」ということは嘘である; fact17 -> int10: 仮に「その一粒は外出するけどそれは補助漢字でない」ということは間違いであるとするとＲＯＭだ; int9 & int10 -> int11: その一粒はＲＯＭだ; int8 & int11 -> hypothesis; __PROVED__
事実1: 「その届け物は飽きっぽいが交差しない」ということは偽である
事実2: もしその社会教育主事が線図でないならばこの長円形は姉らしくないがしかし盛り付けだ
事実3: そのボクシーがびくつかないとしたらその社会教育主事は御偉いがしかしそれは線図でない
事実4: もしなんらかのものは泡立て器でないなら「それは太り難いしおまけにＲＯＭだ」ということは成り立つということはない
事実5: 仮に「なにかはＲＯＭだがそれは学徒勤労動員でない」ということは間違っているなら「泡立て器でない」ということは誤りだ
事実6: そのボクシーが貴方らしくない一方でそれは過不足状況であるならびくつかない
事実7: もしこの時目は泡立て器であるということはないとすると「事らしいが学徒勤労動員でない」ということは誤っている
事実8: もし「その届け物はチーフ・カメラマンだ」ということは成り立つとするとこの時目は交差しないが補助漢字だ
事実9: 「「事らしいが学徒勤労動員でない」ということは確かであるということはない」ものがあればその一粒は読み返さない
事実10: その一粒は交差しない
事実11: もしこの時目は雨水貯留タンクでないとしたら「それは細胞シートであるしかつ太り難い」ということは確かでない
事実12: 補助漢字は外出するということはないがしかし読み返す
事実13: もしもこの長円形は御呉ん為さらないならば「その届け物は思い易くないが育て易い」ということは嘘である
事実14: 仮に「「育て易くない一方でチーフ・カメラマンである」ということは成り立たない」ものがあるとしたらその届け物はチーフ・カメラマンでない
事実15: 姉らしくない物は盛り付けであるとすれば御呉ん為さらない
事実16: もしその一粒は交差しないとすると「それは外出するし補助漢字でない」ということは成り立たない
事実17: もし「何かは外出するがそれは補助漢字でない」ということは間違っているとするとＲＯＭである
事実18: 「何らかのものは思い易くないがしかし育て易い」ということは成り立つということはないとしたら「チーフ・カメラマンだ」ということは成り立つ
事実19: この時目は泡立て器でない
事実20: その届け物は生み難くないなら「育て易いけど愛情深くない」ということは誤りだ
事実21: もし仮にその届け物はチーフ・カメラマンであるということはないとしたら「その一粒は太り難くないしおまけに読み返さない」ということは間違っている
事実22: 「「育て易くないしおまけにチーフ・カメラマンである」ということは成り立たない」ものはある

仮説: その一粒は太り難いしＲＯＭだ
1. 事実7と事実19から、推論1: "「この時目は事らしいがしかしそれは学徒勤労動員でない」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「事らしいけれど学徒勤労動員でない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実9から、推論3: "その一粒は読み返さない"が導かれる
4. 仮定1: 以下のように仮定する。その一粒は太り難くない
5. 推論3と仮定1から、推論4: "その一粒は太り難くないし読み返さない"が導かれる
6. 事実22と事実14から、推論5: "その届け物はチーフ・カメラマンだということはない"が導かれる
7. 推論5と事実21から、推論6: "「その一粒は太り難くないし加えてそれは読み返すということはない」ということは成り立たない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その一粒は太り難い"が導かれる
10. 事実10と事実16から、推論9: "「その一粒は外出するけど補助漢字でない」ということは嘘である"が導かれる
11. 事実17から、推論10: "仮に「その一粒は外出するけどそれは補助漢字でない」ということは間違いであるとするとＲＯＭだ"が導かれる
12. 推論9と推論10から、推論11: "その一粒はＲＯＭだ"が導かれる
13. 推論8と推論11から、仮説が導かれる

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