その殉死は怒りっぽくてまたメイン州だ
fact1: 仮に「何らかの物はメイン州だ一方で怒りっぽくない」ということは真実でないとしたらそれは国会内だ fact2: 「目新しいものは中傷しないかもしくは強しかあるいは両方だ」ということは正しい fact3: 仮に「その殉死は話し合えるけどそれは活動し易いということはない」ということは成り立たないならばそれは怒りっぽい fact4: 「強しないが国会内な」物はある fact5: 「その殉死は話し合えるけれど活動し易くない」ということは誤りだ fact6: もし何らかのものは強しない一方で国会内であるとしたら「その殉死はメイン州である」ということは成り立つ fact7: 仮に何かは強しなら「メイン州で怒りっぽくない」ということは嘘だ
fact3 & fact5 -> int1: その殉死は怒りっぽい; fact4 & fact6 -> int2: その殉死はメイン州だ; int1 & int2 -> hypothesis;
その殉死は国会内である
fact9 -> int3: 「その殉死はメイン州であるが怒りっぽくない」ということは成り立たないなら国会内である; fact8 -> int4: その殉死は強しなら「メイン州であるしおまけにそれは怒りっぽいということはない」ということは成り立たない; fact10 -> int5: 仮にその取り得が目新しいならばそれは中傷しないかまたは強しかあるいは両方である;
$facts$ = fact1: 仮に「何らかの物はメイン州だ一方で怒りっぽくない」ということは真実でないとしたらそれは国会内だ fact2: 「目新しいものは中傷しないかもしくは強しかあるいは両方だ」ということは正しい fact3: 仮に「その殉死は話し合えるけどそれは活動し易いということはない」ということは成り立たないならばそれは怒りっぽい fact4: 「強しないが国会内な」物はある fact5: 「その殉死は話し合えるけれど活動し易くない」ということは誤りだ fact6: もし何らかのものは強しない一方で国会内であるとしたら「その殉死はメイン州である」ということは成り立つ fact7: 仮に何かは強しなら「メイン州で怒りっぽくない」ということは嘘だ ; $hypothesis$ = その殉死は怒りっぽくてまたメイン州だ ; $proof$ = 
fact3 & fact5 -> int1: その殉死は怒りっぽい; fact4 & fact6 -> int2: その殉死はメイン州だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物はメイン州だ一方で怒りっぽくない」ということは真実でないとしたらそれは国会内だ
事実2: 「目新しいものは中傷しないかもしくは強しかあるいは両方だ」ということは正しい
事実3: 仮に「その殉死は話し合えるけどそれは活動し易いということはない」ということは成り立たないならばそれは怒りっぽい
事実4: 「強しないが国会内な」物はある
事実5: 「その殉死は話し合えるけれど活動し易くない」ということは誤りだ
事実6: もし何らかのものは強しない一方で国会内であるとしたら「その殉死はメイン州である」ということは成り立つ
事実7: 仮に何かは強しなら「メイン州で怒りっぽくない」ということは嘘だ

仮説: その殉死は怒りっぽくてまたメイン州だ
1. 事実3と事実5から、推論1: "その殉死は怒りっぽい"が導かれる
2. 事実4と事実6から、推論2: "その殉死はメイン州だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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