あのコンテストは基礎付ける
fact1: もし「心臓発作である」ものはあるとすると「あのコンテストは生まれ持たないし可愛らしくない」ということは誤っている fact2: もしもこの火炉がはきはきしないとするとその病院内は基礎付けないしその上優しくない fact3: 仮に「なにがしかのものは生まれ持たないしおまけに可愛らしくない」ということは間違いだとするとそれは基礎付ける fact4: もしも「この定款上ははきはきするがそれは歯痒くない」ということは事実でないとするとこの火炉ははきはきしない fact5: とあるものは心臓発作である
fact3 -> int1: もし「あのコンテストが生まれ持たないしさらに可愛らしくない」ということは成り立たないとすると基礎付ける; fact5 & fact1 -> int2: 「あのコンテストは生まれ持たないししかもそれは可愛らしくない」ということは成り立たない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact5 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
何らかの物は御安い
$facts$ = fact1: もし「心臓発作である」ものはあるとすると「あのコンテストは生まれ持たないし可愛らしくない」ということは誤っている fact2: もしもこの火炉がはきはきしないとするとその病院内は基礎付けないしその上優しくない fact3: 仮に「なにがしかのものは生まれ持たないしおまけに可愛らしくない」ということは間違いだとするとそれは基礎付ける fact4: もしも「この定款上ははきはきするがそれは歯痒くない」ということは事実でないとするとこの火炉ははきはきしない fact5: とあるものは心臓発作である ; $hypothesis$ = あのコンテストは基礎付ける ; $proof$ = 
fact3 -> int1: もし「あのコンテストが生まれ持たないしさらに可愛らしくない」ということは成り立たないとすると基礎付ける; fact5 & fact1 -> int2: 「あのコンテストは生まれ持たないししかもそれは可愛らしくない」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「心臓発作である」ものはあるとすると「あのコンテストは生まれ持たないし可愛らしくない」ということは誤っている
事実2: もしもこの火炉がはきはきしないとするとその病院内は基礎付けないしその上優しくない
事実3: 仮に「なにがしかのものは生まれ持たないしおまけに可愛らしくない」ということは間違いだとするとそれは基礎付ける
事実4: もしも「この定款上ははきはきするがそれは歯痒くない」ということは事実でないとするとこの火炉ははきはきしない
事実5: とあるものは心臓発作である

仮説: あのコンテストは基礎付ける
1. 事実3から、推論1: "もし「あのコンテストが生まれ持たないしさらに可愛らしくない」ということは成り立たないとすると基礎付ける"が導かれる
2. 事実5と事実1から、推論2: "「あのコンテストは生まれ持たないししかもそれは可愛らしくない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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