「あの出土状況は恥じ入らなくてそれは百合樹でない」ということは誤っている
fact1: もし仮に「この詩節は育める」ということは真実であるならあの出土状況は百合樹だ fact2: 仮に「その七条仏所は抗い難いということはない一方で手際良い」ということは事実と異なるとしたらあの出土状況は自動車保険だ fact3: 「あの出土状況は恥じ入らないがしかしそれは百合樹だ」ということは誤りである fact4: もしもこの詩節が貸せないがしかし蟠るとすればその七条仏所は挨拶状でない fact5: もし仮に「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは嘘だとすればこの詩節は貸せない fact6: もし仮に何らかのものは恥じ入らないなら「自動車保険でないしさらに失せらない」ということは成り立たない fact7: 「その七条仏所は失せらない」ということは真実だ fact8: 「あの環境光は失せらない」ということは真実だ fact9: もし「「あの出土状況は失せらないけれど抗い難い」ということは確かである」ということは成り立たないならばあの七条仏所は自動車保険だ fact10: 「あの出土状況は恥じ入るしまた失せる」ということは間違いである fact11: もし仮に何らかの物は自動車保険だとすると「それは恥じ入らなくてしかも百合樹でない」ということは偽である fact12: もし仮に「その七条仏所は失せるということはない」ということは正しいならば「それは抗い難くないが手際良い」ということは成り立たない fact13: 仮にその七条仏所はピグミー族でないとしたら自動車保険で育める fact14: もしも「その七条仏所は挨拶状でない」ということは正しいなら取り分けるしかつピグミー族でない fact15: 「もしその七条仏所は失せるということはないとしたら「その七条仏所は抗い難くて加えてそれは手際良い」ということは間違いだ」ということは成り立つ fact16: その七条仏所が自動車保険だしおまけにそれが育めるとするとあの出土状況は自動車保険でない fact17: 「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは誤っている fact18: もしもこの賢が蟠らないとするとこの詩節は蟠る
fact12 & fact7 -> int1: 「その七条仏所は抗い難いということはないが手際良い」ということは誤っている; int1 & fact2 -> int2: 「あの出土状況は自動車保険である」ということは真実だ; fact11 -> int3: もし仮にあの出土状況は自動車保険ならば「それは恥じ入らないし加えてそれは百合樹でない」ということは成り立たない; int2 & int3 -> hypothesis;
fact12 & fact7 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact2 -> int2: {B}{b}; fact11 -> int3: {B}{b} -> ¬(¬{C}{b} & ¬{D}{b}); int2 & int3 -> hypothesis;
あの出土状況は恥じ入らなくておまけに百合樹でない
fact19 & fact25 -> int4: この詩節は貸せない;
$facts$ = fact1: もし仮に「この詩節は育める」ということは真実であるならあの出土状況は百合樹だ fact2: 仮に「その七条仏所は抗い難いということはない一方で手際良い」ということは事実と異なるとしたらあの出土状況は自動車保険だ fact3: 「あの出土状況は恥じ入らないがしかしそれは百合樹だ」ということは誤りである fact4: もしもこの詩節が貸せないがしかし蟠るとすればその七条仏所は挨拶状でない fact5: もし仮に「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは嘘だとすればこの詩節は貸せない fact6: もし仮に何らかのものは恥じ入らないなら「自動車保険でないしさらに失せらない」ということは成り立たない fact7: 「その七条仏所は失せらない」ということは真実だ fact8: 「あの環境光は失せらない」ということは真実だ fact9: もし「「あの出土状況は失せらないけれど抗い難い」ということは確かである」ということは成り立たないならばあの七条仏所は自動車保険だ fact10: 「あの出土状況は恥じ入るしまた失せる」ということは間違いである fact11: もし仮に何らかの物は自動車保険だとすると「それは恥じ入らなくてしかも百合樹でない」ということは偽である fact12: もし仮に「その七条仏所は失せるということはない」ということは正しいならば「それは抗い難くないが手際良い」ということは成り立たない fact13: 仮にその七条仏所はピグミー族でないとしたら自動車保険で育める fact14: もしも「その七条仏所は挨拶状でない」ということは正しいなら取り分けるしかつピグミー族でない fact15: 「もしその七条仏所は失せるということはないとしたら「その七条仏所は抗い難くて加えてそれは手際良い」ということは間違いだ」ということは成り立つ fact16: その七条仏所が自動車保険だしおまけにそれが育めるとするとあの出土状況は自動車保険でない fact17: 「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは誤っている fact18: もしもこの賢が蟠らないとするとこの詩節は蟠る ; $hypothesis$ = 「あの出土状況は恥じ入らなくてそれは百合樹でない」ということは誤っている ; $proof$ = 
fact12 & fact7 -> int1: 「その七条仏所は抗い難いということはないが手際良い」ということは誤っている; int1 & fact2 -> int2: 「あの出土状況は自動車保険である」ということは真実だ; fact11 -> int3: もし仮にあの出土状況は自動車保険ならば「それは恥じ入らないし加えてそれは百合樹でない」ということは成り立たない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「この詩節は育める」ということは真実であるならあの出土状況は百合樹だ
事実2: 仮に「その七条仏所は抗い難いということはない一方で手際良い」ということは事実と異なるとしたらあの出土状況は自動車保険だ
事実3: 「あの出土状況は恥じ入らないがしかしそれは百合樹だ」ということは誤りである
事実4: もしもこの詩節が貸せないがしかし蟠るとすればその七条仏所は挨拶状でない
事実5: もし仮に「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは嘘だとすればこの詩節は貸せない
事実6: もし仮に何らかのものは恥じ入らないなら「自動車保険でないしさらに失せらない」ということは成り立たない
事実7: 「その七条仏所は失せらない」ということは真実だ
事実8: 「あの環境光は失せらない」ということは真実だ
事実9: もし「「あの出土状況は失せらないけれど抗い難い」ということは確かである」ということは成り立たないならばあの七条仏所は自動車保険だ
事実10: 「あの出土状況は恥じ入るしまた失せる」ということは間違いである
事実11: もし仮に何らかの物は自動車保険だとすると「それは恥じ入らなくてしかも百合樹でない」ということは偽である
事実12: もし仮に「その七条仏所は失せるということはない」ということは正しいならば「それは抗い難くないが手際良い」ということは成り立たない
事実13: 仮にその七条仏所はピグミー族でないとしたら自動車保険で育める
事実14: もしも「その七条仏所は挨拶状でない」ということは正しいなら取り分けるしかつピグミー族でない
事実15: 「もしその七条仏所は失せるということはないとしたら「その七条仏所は抗い難くて加えてそれは手際良い」ということは間違いだ」ということは成り立つ
事実16: その七条仏所が自動車保険だしおまけにそれが育めるとするとあの出土状況は自動車保険でない
事実17: 「この脆弱Ｘ症候群は二部授業でない一方で二段発条する」ということは誤っている
事実18: もしもこの賢が蟠らないとするとこの詩節は蟠る

仮説: 「あの出土状況は恥じ入らなくてそれは百合樹でない」ということは誤っている
1. 事実12と事実7から、推論1: "「その七条仏所は抗い難いということはないが手際良い」ということは誤っている"が導かれる
2. 推論1と事実2から、推論2: "「あの出土状況は自動車保険である」ということは真実だ"が導かれる
3. 事実11から、推論3: "もし仮にあの出土状況は自動車保険ならば「それは恥じ入らないし加えてそれは百合樹でない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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