この逮捕状はださい
fact1: もしもなんらかの物は魅するということはないとすると「それは遺伝形質でないしださい」ということは偽である fact2: 「この逮捕状は立候補しないが愛し」ということは成り立たないとしたら「ださい」ということは誤っていない fact3: この自由民権運動が人類普遍でないとしたらあの知恩院は遺伝形質であるしさらに遅し fact4: この逮捕状は遺伝形質である fact5: もしこの逮捕状は遺伝形質であるなら「それは立候補しなくて加えてそれは愛し」ということは成り立つということはない fact6: もしもあの本物らしさはださいならば「古しない一方で栽培する」ということは成り立たない fact7: もし仮にあの知恩院が打ち合わせするとすればあの逮捕状は魅しないしさらに遅しということはない fact8: もし仮にあの知恩院が遺伝形質だし魅するとすればこの逮捕状はださくない
fact5 & fact4 -> int1: 「この逮捕状は立候補しないがしかし愛し」ということは誤っている; int1 & fact2 -> hypothesis;
fact5 & fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact2 -> hypothesis;
この逮捕状はださくない
$facts$ = fact1: もしもなんらかの物は魅するということはないとすると「それは遺伝形質でないしださい」ということは偽である fact2: 「この逮捕状は立候補しないが愛し」ということは成り立たないとしたら「ださい」ということは誤っていない fact3: この自由民権運動が人類普遍でないとしたらあの知恩院は遺伝形質であるしさらに遅し fact4: この逮捕状は遺伝形質である fact5: もしこの逮捕状は遺伝形質であるなら「それは立候補しなくて加えてそれは愛し」ということは成り立つということはない fact6: もしもあの本物らしさはださいならば「古しない一方で栽培する」ということは成り立たない fact7: もし仮にあの知恩院が打ち合わせするとすればあの逮捕状は魅しないしさらに遅しということはない fact8: もし仮にあの知恩院が遺伝形質だし魅するとすればこの逮捕状はださくない ; $hypothesis$ = この逮捕状はださい ; $proof$ = 
fact5 & fact4 -> int1: 「この逮捕状は立候補しないがしかし愛し」ということは誤っている; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は魅するということはないとすると「それは遺伝形質でないしださい」ということは偽である
事実2: 「この逮捕状は立候補しないが愛し」ということは成り立たないとしたら「ださい」ということは誤っていない
事実3: この自由民権運動が人類普遍でないとしたらあの知恩院は遺伝形質であるしさらに遅し
事実4: この逮捕状は遺伝形質である
事実5: もしこの逮捕状は遺伝形質であるなら「それは立候補しなくて加えてそれは愛し」ということは成り立つということはない
事実6: もしもあの本物らしさはださいならば「古しない一方で栽培する」ということは成り立たない
事実7: もし仮にあの知恩院が打ち合わせするとすればあの逮捕状は魅しないしさらに遅しということはない
事実8: もし仮にあの知恩院が遺伝形質だし魅するとすればこの逮捕状はださくない

仮説: この逮捕状はださい
1. 事実5と事実4から、推論1: "「この逮捕状は立候補しないがしかし愛し」ということは誤っている"が導かれる
2. 推論1と事実2から、仮説が導かれる

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