「この申し立て書は祭らないがしかし態とらしい」ということは成り立たない
fact1: 仮に「ある物は苦々しい一方でめんどくない」ということは間違っているとすればそれは苦々しいということはない fact2: 「この申し立て書は祭るし更に態とらしい」ということは誤りだ fact3: 仮に何らかの物は身軽いなら「祭るし態とらしい」ということは間違っている fact4: この申し立て書はいがらっぽい fact5: もしもこの人道法違反は弱り切るなら「それは品目である」ということは誤っていない fact6: 仮にその第一傍系親はユーザニーズでないならば「苦々しいけどめんどいということはない」ということは誤っている fact7: 「あの全訳は祭る」ということは確かである fact8: 「この申し立て書は苦々しかない一方で節約出来る」ということは間違っている fact9: もし仮にこの申し立て書は身軽いならば「それは祭るし態とらしい」ということは嘘である fact10: もしこの申し立て書がいがらっぽいならばそれは身軽い fact11: もし何らかのものは身軽いなら「祭らない一方で態とらしい」ということは間違いだ fact12: もし何らかの物は年限でなくていがらっぽくないとするとそれは身軽くない fact13: 何かは身軽いということはないとすれば「酒造りでないがしかし態とらしい」ということは成り立たない fact14: 苦々しいということはない物は年限でなくて更にいがらっぽくない
fact11 -> int1: もし仮にこの申し立て書は身軽いとすれば「それは祭るということはないし加えてそれは態とらしい」ということは成り立たない; fact10 & fact4 -> int2: 「この申し立て書は身軽い」ということは成り立つ; int1 & int2 -> hypothesis;
fact11 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact10 & fact4 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「「その第一傍系親は酒造りでない一方で態とらしい」ということは正しい」ということは成り立たない
fact17 -> int3: もし仮にその第一傍系親は身軽くないなら「それは酒造りでないし態とらしい」ということは成り立つということはない; fact19 -> int4: その第一傍系親が年限でないしそれがいがらっぽくないとすればそれは身軽くない; fact18 -> int5: もしもその第一傍系親が苦々しかないとすれば年限でなくて加えていがらっぽくない; fact16 -> int6: もし仮に「その第一傍系親は苦々しい一方でめんどくない」ということは事実と異なるとすればそれは苦々しかない;
$facts$ = fact1: 仮に「ある物は苦々しい一方でめんどくない」ということは間違っているとすればそれは苦々しいということはない fact2: 「この申し立て書は祭るし更に態とらしい」ということは誤りだ fact3: 仮に何らかの物は身軽いなら「祭るし態とらしい」ということは間違っている fact4: この申し立て書はいがらっぽい fact5: もしもこの人道法違反は弱り切るなら「それは品目である」ということは誤っていない fact6: 仮にその第一傍系親はユーザニーズでないならば「苦々しいけどめんどいということはない」ということは誤っている fact7: 「あの全訳は祭る」ということは確かである fact8: 「この申し立て書は苦々しかない一方で節約出来る」ということは間違っている fact9: もし仮にこの申し立て書は身軽いならば「それは祭るし態とらしい」ということは嘘である fact10: もしこの申し立て書がいがらっぽいならばそれは身軽い fact11: もし何らかのものは身軽いなら「祭らない一方で態とらしい」ということは間違いだ fact12: もし何らかの物は年限でなくていがらっぽくないとするとそれは身軽くない fact13: 何かは身軽いということはないとすれば「酒造りでないがしかし態とらしい」ということは成り立たない fact14: 苦々しいということはない物は年限でなくて更にいがらっぽくない ; $hypothesis$ = 「この申し立て書は祭らないがしかし態とらしい」ということは成り立たない ; $proof$ = 
fact11 -> int1: もし仮にこの申し立て書は身軽いとすれば「それは祭るということはないし加えてそれは態とらしい」ということは成り立たない; fact10 & fact4 -> int2: 「この申し立て書は身軽い」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「ある物は苦々しい一方でめんどくない」ということは間違っているとすればそれは苦々しいということはない
事実2: 「この申し立て書は祭るし更に態とらしい」ということは誤りだ
事実3: 仮に何らかの物は身軽いなら「祭るし態とらしい」ということは間違っている
事実4: この申し立て書はいがらっぽい
事実5: もしもこの人道法違反は弱り切るなら「それは品目である」ということは誤っていない
事実6: 仮にその第一傍系親はユーザニーズでないならば「苦々しいけどめんどいということはない」ということは誤っている
事実7: 「あの全訳は祭る」ということは確かである
事実8: 「この申し立て書は苦々しかない一方で節約出来る」ということは間違っている
事実9: もし仮にこの申し立て書は身軽いならば「それは祭るし態とらしい」ということは嘘である
事実10: もしこの申し立て書がいがらっぽいならばそれは身軽い
事実11: もし何らかのものは身軽いなら「祭らない一方で態とらしい」ということは間違いだ
事実12: もし何らかの物は年限でなくていがらっぽくないとするとそれは身軽くない
事実13: 何かは身軽いということはないとすれば「酒造りでないがしかし態とらしい」ということは成り立たない
事実14: 苦々しいということはない物は年限でなくて更にいがらっぽくない

仮説: 「この申し立て書は祭らないがしかし態とらしい」ということは成り立たない
1. 事実11から、推論1: "もし仮にこの申し立て書は身軽いとすれば「それは祭るということはないし加えてそれは態とらしい」ということは成り立たない"が導かれる
2. 事実10と事実4から、推論2: "「この申し立て書は身軽い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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