あの焼けは示し易くない
fact1: この首長墓系譜は示し易くない fact2: あのワーナー・ブラザーズが柔くないとすればあの旧本店所在地は消退するかまたはそれは目眩発作だ fact3: もしあの旧本店所在地が会話らしくないがしかし嗜好調査ならあのワーナー・ブラザーズは嫁入りしない fact4: もし仮にあの焼けが看過し難いならあの旧本店所在地は会話らしくないけどそれは嗜好調査だ fact5: あの旧本店所在地が薬臭いならあの焼けはこっ酷くないしそれに楽しくない fact6: 「あのワーナー・ブラザーズはこっ酷くて嫁入りする」ということは事実と異なるならあの旧本店所在地は嫁入りしない fact7: 仮に「あのワーナー・ブラザーズは岡山後楽能であるかまたはそれは無声化し易くないか両方ともだ」ということは嘘だとしたらそれは柔くない fact8: あのワーナー・ブラザーズはこっ酷くない fact9: あのワーナー・ブラザーズがこっ酷くないとすればそれは嫁入りするしそれに血腥い fact10: もしもあの旧本店所在地は目眩発作であるとすれば薬臭い fact11: 仮に「ある物は血腥くない」ということは間違っていないとすると「それはこっ酷いしまた嫁入りする」ということは誤りだ fact12: もしも「あの焼けは血腥くない」ということは真実だとしたらあのトマトは示し易い fact13: もし仮にあの焼けが看過し難いならばあの旧本店所在地は会話らしくない fact14: 看過し難くない物は示し易くない fact15: もしなんらかの物が消退するとすれば薬臭い fact16: 「あのワーナー・ブラザーズは岡山後楽能であるかもしくは無声化し易くない」ということは成り立たない fact17: あの旧本店所在地は示し易い fact18: あのワーナー・ブラザーズがこっ酷いということはないなら血腥い fact19: あの平衡システムは嗜好調査である fact20: もし仮に何かは嫁入りしないならそれは看過し難くないかもしくはそれは示し易い fact21: あのワーナー・ブラザーズは激しくない fact22: あのワーナー・ブラザーズは嗜好調査だ fact23: もしもあのワーナー・ブラザーズが会話らしいとしたらあの旧本店所在地は血腥いということはないがしかし嗜好調査だ fact24: あの旧本店所在地はこっ酷くない
void -> assump1: 以下のように仮定する。あの焼けは看過し難い; fact4 & assump1 -> int1: あの旧本店所在地は会話らしいということはないけれどそれは嗜好調査である; int1 & fact3 -> int2: あのワーナー・ブラザーズは嫁入りしない; fact9 & fact8 -> int3: あのワーナー・ブラザーズは嫁入りするし血腥い; int3 -> int4: 「あのワーナー・ブラザーズは嫁入りする」ということは誤りでない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの焼けは看過し難くない; fact14 -> int7: あの焼けは看過し難くないとすればそれは示し易くない; int6 & int7 -> hypothesis;
あのトマトは看過し難くない
fact30 & fact26 -> int8: あのワーナー・ブラザーズは柔くない; fact28 & int8 -> int9: あの旧本店所在地は消退するかまたは目眩発作であるかどちらもだ; fact29 -> int10: あの旧本店所在地が消退すればそれは薬臭い; int9 & int10 & fact25 -> int11: あの旧本店所在地は薬臭い; fact31 & int11 -> int12: 「あの焼けはこっ酷くなくて楽しくない」ということは確かである; int12 -> int13: 「あの焼けはこっ酷くない」ということは確かだ;
$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: あの旧本店所在地はこっ酷くない ; $hypothesis$ = あの焼けは示し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの焼けは看過し難い; fact4 & assump1 -> int1: あの旧本店所在地は会話らしいということはないけれどそれは嗜好調査である; int1 & fact3 -> int2: あのワーナー・ブラザーズは嫁入りしない; fact9 & fact8 -> int3: あのワーナー・ブラザーズは嫁入りするし血腥い; int3 -> int4: 「あのワーナー・ブラザーズは嫁入りする」ということは誤りでない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの焼けは看過し難くない; fact14 -> int7: あの焼けは看過し難くないとすればそれは示し易くない; int6 & int7 -> 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: あの旧本店所在地はこっ酷くない

仮説: あの焼けは示し易くない
1. 仮定1: 以下のように仮定する。あの焼けは看過し難い
2. 事実4と仮定1から、推論1: "あの旧本店所在地は会話らしいということはないけれどそれは嗜好調査である"が導かれる
3. 推論1と事実3から、推論2: "あのワーナー・ブラザーズは嫁入りしない"が導かれる
4. 事実9と事実8から、推論3: "あのワーナー・ブラザーズは嫁入りするし血腥い"が導かれる
5. 推論3から、推論4: "「あのワーナー・ブラザーズは嫁入りする」ということは誤りでない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの焼けは看過し難くない"が導かれる
8. 事実14から、推論7: "あの焼けは看過し難くないとすればそれは示し易くない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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