この史上初は開眼供養であるけど払い上げない
fact1: 「その恋愛イベントは遠くないし深しない」ということは成り立たないとしたらその当事例は変え得ない fact2: もしも「あの奴隷制は合併し易くないし酒臭いということはない」ということは偽であるならばこの史上初は酒臭くない fact3: この史上初は開眼供養だ fact4: もし仮にあの茹で鶏が弱ししかつ滑茸であるとすると相談時間だ fact5: あの茹で鶏は弱しがしかし滑茸でない fact6: もし仮に何らかの物が弱しとすればそれは開眼供養である fact7: 何かは代用出来るということはないとすると「それは合併し易くないしまた酒臭くない」ということは成り立つということはない fact8: 酒臭くない物は苛立たしいしその上弱し fact9: もし仮にその当事例が変え得ないとするとあの奴隷制は代用出来ない fact10: あの茹で鶏は弱しがしかし滑茸でないならそれは相談時間だ fact11: あの茹で鶏は払い上げるが滑茸でない fact12: 「この史上初は滑茸だ」ということは正しい fact13: もし仮にあの茹で鶏は監護しないとすると「相談時間でないが滑茸である」ということは嘘である fact14: 「その恋愛イベントは遠くないし深しない」ということは確かであるということはない fact15: もしもこの史上初が開眼供養だ一方でそれが払い上げないとするとあの茹で鶏は相談時間でない fact16: あの誘導放出は宜しが相談時間であるということはない fact17: もしもあの茹で鶏が相談時間だけどそれが弱しないとすれば開眼供養だ fact18: 「あの茹で鶏は滑茸でない」ということは成り立つ
void -> assump1: 以下のように仮定する。この史上初は開眼供養だけれど払い上げるということはない; fact15 & assump1 -> int1: あの茹で鶏は相談時間でない; fact10 & fact5 -> int2: あの茹で鶏は相談時間である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この史上初は開眼供養だがしかし払い上げない
fact20 -> int4: もしこの史上初が弱しならば開眼供養である; fact24 -> int5: 「この史上初は酒臭くない」ということは成り立てば苛立たしいししかも弱し; fact25 -> int6: もし仮にあの奴隷制は代用出来るということはないとしたら「合併し易くないししかもそれは酒臭くない」ということは誤っている; fact26 & fact21 -> int7: その当事例は変え得ない; fact22 & int7 -> int8: あの奴隷制は代用出来ない; int6 & int8 -> int9: 「あの奴隷制は合併し易くないししかも酒臭くない」ということは間違いだ; fact19 & int9 -> int10: この史上初は酒臭くない; int5 & int10 -> int11: この史上初は苛立たしいしさらに弱し; int11 -> int12: この史上初は弱し; int4 & int12 -> int13: この史上初は開眼供養だ;
$facts$ = fact1: 「その恋愛イベントは遠くないし深しない」ということは成り立たないとしたらその当事例は変え得ない fact2: もしも「あの奴隷制は合併し易くないし酒臭いということはない」ということは偽であるならばこの史上初は酒臭くない fact3: この史上初は開眼供養だ fact4: もし仮にあの茹で鶏が弱ししかつ滑茸であるとすると相談時間だ fact5: あの茹で鶏は弱しがしかし滑茸でない fact6: もし仮に何らかの物が弱しとすればそれは開眼供養である fact7: 何かは代用出来るということはないとすると「それは合併し易くないしまた酒臭くない」ということは成り立つということはない fact8: 酒臭くない物は苛立たしいしその上弱し fact9: もし仮にその当事例が変え得ないとするとあの奴隷制は代用出来ない fact10: あの茹で鶏は弱しがしかし滑茸でないならそれは相談時間だ fact11: あの茹で鶏は払い上げるが滑茸でない fact12: 「この史上初は滑茸だ」ということは正しい fact13: もし仮にあの茹で鶏は監護しないとすると「相談時間でないが滑茸である」ということは嘘である fact14: 「その恋愛イベントは遠くないし深しない」ということは確かであるということはない fact15: もしもこの史上初が開眼供養だ一方でそれが払い上げないとするとあの茹で鶏は相談時間でない fact16: あの誘導放出は宜しが相談時間であるということはない fact17: もしもあの茹で鶏が相談時間だけどそれが弱しないとすれば開眼供養だ fact18: 「あの茹で鶏は滑茸でない」ということは成り立つ ; $hypothesis$ = この史上初は開眼供養であるけど払い上げない ; $proof$ = 
void -> assump1: 以下のように仮定する。この史上初は開眼供養だけれど払い上げるということはない; fact15 & assump1 -> int1: あの茹で鶏は相談時間でない; fact10 & fact5 -> int2: あの茹で鶏は相談時間である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「その恋愛イベントは遠くないし深しない」ということは成り立たないとしたらその当事例は変え得ない
事実2: もしも「あの奴隷制は合併し易くないし酒臭いということはない」ということは偽であるならばこの史上初は酒臭くない
事実3: この史上初は開眼供養だ
事実4: もし仮にあの茹で鶏が弱ししかつ滑茸であるとすると相談時間だ
事実5: あの茹で鶏は弱しがしかし滑茸でない
事実6: もし仮に何らかの物が弱しとすればそれは開眼供養である
事実7: 何かは代用出来るということはないとすると「それは合併し易くないしまた酒臭くない」ということは成り立つということはない
事実8: 酒臭くない物は苛立たしいしその上弱し
事実9: もし仮にその当事例が変え得ないとするとあの奴隷制は代用出来ない
事実10: あの茹で鶏は弱しがしかし滑茸でないならそれは相談時間だ
事実11: あの茹で鶏は払い上げるが滑茸でない
事実12: 「この史上初は滑茸だ」ということは正しい
事実13: もし仮にあの茹で鶏は監護しないとすると「相談時間でないが滑茸である」ということは嘘である
事実14: 「その恋愛イベントは遠くないし深しない」ということは確かであるということはない
事実15: もしもこの史上初が開眼供養だ一方でそれが払い上げないとするとあの茹で鶏は相談時間でない
事実16: あの誘導放出は宜しが相談時間であるということはない
事実17: もしもあの茹で鶏が相談時間だけどそれが弱しないとすれば開眼供養だ
事実18: 「あの茹で鶏は滑茸でない」ということは成り立つ

仮説: この史上初は開眼供養であるけど払い上げない
1. 仮定1: 以下のように仮定する。この史上初は開眼供養だけれど払い上げるということはない
2. 事実15と仮定1から、推論1: "あの茹で鶏は相談時間でない"が導かれる
3. 事実10と事実5から、推論2: "あの茹で鶏は相談時間である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。