あの宣下は精神障害者グループホームである
fact1: もしもその衆院は間近いとすれば「この失敗作は取り戻さないかそれは逮捕・勾留しない」ということは事実と異なる fact2: 仮に精神障害者グループホームが剥奪しないとすれば間近い fact3: その衆院は取り戻す fact4: この失敗作は間近い fact5: もしもこの失敗作は一巻だということはないとすると「それは上げ易くないかあるいはそれは投薬しないかもしくは両方だ」ということは偽である fact6: もし「「その衆院は逮捕・勾留しないかそれは取り戻す」ということは事実と異なる」ということは正しいならばあの宣下は精神障害者グループホームだ fact7: もし仮に「その衆院は逮捕・勾留するということはないかあるいは取り戻さないかもしくは両方だ」ということは成り立たないとすればあの宣下は精神障害者グループホームだ fact8: もしこの失敗作は間近いとすれば「その衆院は逮捕・勾留するということはないか取り戻さないかもしくは両方ともだ」ということは間違っている fact9: もし仮にある物が明け暮れするとしたら間近くないしその上剥奪するということはない fact10: 仮に「とある物は見分け難いけど明け暮れしない」ということは偽だとしたら明け暮れする fact11: 仮に「この失敗作は上げ易くないか投薬しないかあるいは両方である」ということは真実でないならば見分け難いということはない fact12: 見分け難くない物は明け暮れするし波風だ
fact8 & fact4 -> int1: 「その衆院は逮捕・勾留しないかまたはそれは取り戻さないかもしくは両方だ」ということは成り立たない; int1 & fact7 -> hypothesis;
fact8 & fact4 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact7 -> hypothesis;
あの宣下は精神障害者グループホームでない
fact13 -> int2: 仮にこの失敗作が明け暮れすればそれは間近くないしそれに剥奪するということはない; fact16 -> int3: もしこの失敗作が見分け難いということはないならば明け暮れするし波風だ;
$facts$ = fact1: もしもその衆院は間近いとすれば「この失敗作は取り戻さないかそれは逮捕・勾留しない」ということは事実と異なる fact2: 仮に精神障害者グループホームが剥奪しないとすれば間近い fact3: その衆院は取り戻す fact4: この失敗作は間近い fact5: もしもこの失敗作は一巻だということはないとすると「それは上げ易くないかあるいはそれは投薬しないかもしくは両方だ」ということは偽である fact6: もし「「その衆院は逮捕・勾留しないかそれは取り戻す」ということは事実と異なる」ということは正しいならばあの宣下は精神障害者グループホームだ fact7: もし仮に「その衆院は逮捕・勾留するということはないかあるいは取り戻さないかもしくは両方だ」ということは成り立たないとすればあの宣下は精神障害者グループホームだ fact8: もしこの失敗作は間近いとすれば「その衆院は逮捕・勾留するということはないか取り戻さないかもしくは両方ともだ」ということは間違っている fact9: もし仮にある物が明け暮れするとしたら間近くないしその上剥奪するということはない fact10: 仮に「とある物は見分け難いけど明け暮れしない」ということは偽だとしたら明け暮れする fact11: 仮に「この失敗作は上げ易くないか投薬しないかあるいは両方である」ということは真実でないならば見分け難いということはない fact12: 見分け難くない物は明け暮れするし波風だ ; $hypothesis$ = あの宣下は精神障害者グループホームである ; $proof$ = 
fact8 & fact4 -> int1: 「その衆院は逮捕・勾留しないかまたはそれは取り戻さないかもしくは両方だ」ということは成り立たない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしもその衆院は間近いとすれば「この失敗作は取り戻さないかそれは逮捕・勾留しない」ということは事実と異なる
事実2: 仮に精神障害者グループホームが剥奪しないとすれば間近い
事実3: その衆院は取り戻す
事実4: この失敗作は間近い
事実5: もしもこの失敗作は一巻だということはないとすると「それは上げ易くないかあるいはそれは投薬しないかもしくは両方だ」ということは偽である
事実6: もし「「その衆院は逮捕・勾留しないかそれは取り戻す」ということは事実と異なる」ということは正しいならばあの宣下は精神障害者グループホームだ
事実7: もし仮に「その衆院は逮捕・勾留するということはないかあるいは取り戻さないかもしくは両方だ」ということは成り立たないとすればあの宣下は精神障害者グループホームだ
事実8: もしこの失敗作は間近いとすれば「その衆院は逮捕・勾留するということはないか取り戻さないかもしくは両方ともだ」ということは間違っている
事実9: もし仮にある物が明け暮れするとしたら間近くないしその上剥奪するということはない
事実10: 仮に「とある物は見分け難いけど明け暮れしない」ということは偽だとしたら明け暮れする
事実11: 仮に「この失敗作は上げ易くないか投薬しないかあるいは両方である」ということは真実でないならば見分け難いということはない
事実12: 見分け難くない物は明け暮れするし波風だ

仮説: あの宣下は精神障害者グループホームである
1. 事実8と事実4から、推論1: "「その衆院は逮捕・勾留しないかまたはそれは取り戻さないかもしくは両方だ」ということは成り立たない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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