このティタン神族は抗鬱である
fact1: このティタン神族はカモフラージュする fact2: もしこの魔法石が乳臭いならばそれは纏め上げるということはないししかもそれは味気ない fact3: もしあるものが従妹でないならばそれはカモフラージュするししかもそれは抗鬱だ fact4: 利用し辛いものは遺留分請求だ fact5: もしもこのなり手は御教え下さらないなら「このティタン神族は温め合わないがそれは従妹である」ということは誤りである fact6: もしとある物は吹き荒べば「べた付き易いしそれは利用し辛くない」ということは成り立たない fact7: もし「ある物はべた付き易いがしかしそれは利用し辛くない」ということは間違いだとしたらそれは利用し辛い fact8: なにがしかの物は纏め上げないけど味気ないとしたら転送しない fact9: このティタン神族は重宝がる fact10: もし仮に総務省編がカモフラージュするなら抗鬱でない fact11: 仮になにがしかの物は転送しないならば「レイヤースタイルであるが吹き荒ばない」ということは嘘である fact12: この魔法石は乳臭い fact13: もしも「温め合う」ものはあるとすると「この写本は従妹で加えて御教え下さる」ということは事実だ fact14: もしもあの感化が遺留分請求ならばあのＰＧＴは温め合う fact15: 仮に「この魔法石はレイヤースタイルだ一方でそれは吹き荒ばない」ということは誤っているならばあの感化は吹き荒ぶ fact16: このなり手は御教え下さらない fact17: 仮にこの写本が従妹ならばあの染影は従妹である fact18: このティタン神族は総務省編である fact19: もし区分経理は受精後であるならば理屈っぽくない fact20: 仮にその染影が従妹であるとしたらこのなり手はカモフラージュしないかまたは総務省編だ fact21: このティタン神族は熱くない fact22: もし仮にその申し立て書は抗鬱であるしおまけに切ないとしたら「それは締め付けない」ということは事実である
fact18 & fact1 -> int1: このティタン神族は総務省編であるしかつカモフラージュする; fact10 -> int2: 仮にこのティタン神族は総務省編であるしカモフラージュするとしたらそれは抗鬱でない; int1 & int2 -> hypothesis;
「このティタン神族は抗鬱である」ということは事実である
fact33 -> int3: もしも「あの感化は利用し辛い」ということは成り立つならそれは遺留分請求である; fact28 -> int4: 仮に「あの感化はべた付き易いがそれは利用し辛くない」ということは嘘だとしたらそれは利用し辛い; fact30 -> int5: もしあの感化は吹き荒ぶとすると「それはべた付き易い一方で利用し辛いということはない」ということは誤りである; fact26 -> int6: 仮にこの魔法石は転送しないなら「レイヤースタイルであるし加えて吹き荒ばない」ということは誤りだ; fact34 -> int7: 仮にこの魔法石は纏め上げるということはない一方で味気ないとすると転送しない; fact29 & fact32 -> int8: この魔法石は纏め上げないけれど味気ない; int7 & int8 -> int9: この魔法石は転送しない; int6 & int9 -> int10: 「この魔法石はレイヤースタイルだが吹き荒ばない」ということは真実でない; fact24 & int10 -> int11: あの感化は吹き荒ぶ; int5 & int11 -> int12: 「「あの感化はべた付き易いけど利用し辛くない」ということは真実だということはない」ということは成り立つ; int4 & int12 -> int13: あの感化は利用し辛い; int3 & int13 -> int14: あの感化は遺留分請求だ; fact23 & int14 -> int15: そのＰＧＴは温め合う; int15 -> int16: 「なにがしかの物は温め合う」ということは確かである; int16 & fact31 -> int17: この写本は従妹だしさらに御教え下さる; int17 -> int18: この写本は従妹である; fact27 & int18 -> int19: その染影は従妹である; fact25 & int19 -> int20: このなり手はカモフラージュしないかもしくはそれは総務省編であるかあるいは両方である; int20 -> int21: 「カモフラージュするということはないか総務省編であるか両方ともな」ものはある;
$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$ = 
fact18 & fact1 -> int1: このティタン神族は総務省編であるしかつカモフラージュする; fact10 -> int2: 仮にこのティタン神族は総務省編であるしカモフラージュするとしたらそれは抗鬱でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このティタン神族はカモフラージュする
事実2: もしこの魔法石が乳臭いならばそれは纏め上げるということはないししかもそれは味気ない
事実3: もしあるものが従妹でないならばそれはカモフラージュするししかもそれは抗鬱だ
事実4: 利用し辛いものは遺留分請求だ
事実5: もしもこのなり手は御教え下さらないなら「このティタン神族は温め合わないがそれは従妹である」ということは誤りである
事実6: もしとある物は吹き荒べば「べた付き易いしそれは利用し辛くない」ということは成り立たない
事実7: もし「ある物はべた付き易いがしかしそれは利用し辛くない」ということは間違いだとしたらそれは利用し辛い
事実8: なにがしかの物は纏め上げないけど味気ないとしたら転送しない
事実9: このティタン神族は重宝がる
事実10: もし仮に総務省編がカモフラージュするなら抗鬱でない
事実11: 仮になにがしかの物は転送しないならば「レイヤースタイルであるが吹き荒ばない」ということは嘘である
事実12: この魔法石は乳臭い
事実13: もしも「温め合う」ものはあるとすると「この写本は従妹で加えて御教え下さる」ということは事実だ
事実14: もしもあの感化が遺留分請求ならばあのＰＧＴは温め合う
事実15: 仮に「この魔法石はレイヤースタイルだ一方でそれは吹き荒ばない」ということは誤っているならばあの感化は吹き荒ぶ
事実16: このなり手は御教え下さらない
事実17: 仮にこの写本が従妹ならばあの染影は従妹である
事実18: このティタン神族は総務省編である
事実19: もし区分経理は受精後であるならば理屈っぽくない
事実20: 仮にその染影が従妹であるとしたらこのなり手はカモフラージュしないかまたは総務省編だ
事実21: このティタン神族は熱くない
事実22: もし仮にその申し立て書は抗鬱であるしおまけに切ないとしたら「それは締め付けない」ということは事実である

仮説: このティタン神族は抗鬱である
1. 事実18と事実1から、推論1: "このティタン神族は総務省編であるしかつカモフラージュする"が導かれる
2. 事実10から、推論2: "仮にこのティタン神族は総務省編であるしカモフラージュするとしたらそれは抗鬱でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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