このガソリンは怒鳴り出さない
fact1: 金券ショップは怒鳴り出す fact2: もし仮になにがしかの物がせがまないとすれば金券ショップで原理主義者だ fact3: もし仮に「「洋品店でないかまたはがめついかまたはどちらもだ」ということは成り立たない」物があるとするとこのガソリンは金券ショップだ fact4: 「「洋品店でないかあるいはがめついか両方だ」ということは嘘な」物はある fact5: 「このガソリンは探求する」ということは成り立つ fact6: もしもこの願望が原理主義者であるしそれに怒鳴り出せばこのガソリンは怒鳴り出すということはない fact7: 「バオバブであるということはないかもしくは押さえ込む」ものはある
fact4 & fact3 -> int1: このガソリンは金券ショップだ; fact1 -> int2: もし仮にこのガソリンは金券ショップだとしたら「怒鳴り出す」ということは確かだ; int1 & int2 -> hypothesis;
fact4 & fact3 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {B}{a}; int1 & int2 -> hypothesis;
このガソリンは怒鳴り出さない
fact9 -> int3: もしこの願望がせがまないならそれは金券ショップであるし原理主義者だ;
$facts$ = fact1: 金券ショップは怒鳴り出す fact2: もし仮になにがしかの物がせがまないとすれば金券ショップで原理主義者だ fact3: もし仮に「「洋品店でないかまたはがめついかまたはどちらもだ」ということは成り立たない」物があるとするとこのガソリンは金券ショップだ fact4: 「「洋品店でないかあるいはがめついか両方だ」ということは嘘な」物はある fact5: 「このガソリンは探求する」ということは成り立つ fact6: もしもこの願望が原理主義者であるしそれに怒鳴り出せばこのガソリンは怒鳴り出すということはない fact7: 「バオバブであるということはないかもしくは押さえ込む」ものはある ; $hypothesis$ = このガソリンは怒鳴り出さない ; $proof$ = 
fact4 & fact3 -> int1: このガソリンは金券ショップだ; fact1 -> int2: もし仮にこのガソリンは金券ショップだとしたら「怒鳴り出す」ということは確かだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 金券ショップは怒鳴り出す
事実2: もし仮になにがしかの物がせがまないとすれば金券ショップで原理主義者だ
事実3: もし仮に「「洋品店でないかまたはがめついかまたはどちらもだ」ということは成り立たない」物があるとするとこのガソリンは金券ショップだ
事実4: 「「洋品店でないかあるいはがめついか両方だ」ということは嘘な」物はある
事実5: 「このガソリンは探求する」ということは成り立つ
事実6: もしもこの願望が原理主義者であるしそれに怒鳴り出せばこのガソリンは怒鳴り出すということはない
事実7: 「バオバブであるということはないかもしくは押さえ込む」ものはある

仮説: このガソリンは怒鳴り出さない
1. 事実4と事実3から、推論1: "このガソリンは金券ショップだ"が導かれる
2. 事実1から、推論2: "もし仮にこのガソリンは金券ショップだとしたら「怒鳴り出す」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。