あの模倣はセンデロ・ルミノソだ
fact1: この可燃物は明る過ぎる fact2: そのむきは想像し難いということはない fact3: もしも「この御祖母様は明る過ぎる」ということは成り立つとすればそのむきは気持ち良い fact4: もしそのむきが陰門であるならあの模倣はセンデロ・ルミノソでない fact5: この御祖母様は明る過ぎる fact6: あの二軒は擦れるかコサインＴであるかあるいは両方である fact7: 仮に「この御祖母様は重なり合うということはないかまたは気持ち良い」ということは成り立たないならあの模倣は気持ち良くない fact8: もし仮になんらかの物は想像し難くないとすると「御濃いということはないがしかし陰門である」ということは真実でない fact9: もしもそのむきが陰門であるかまたは気持ち良いかあるいは両方ともだとしたらあの模倣はセンデロ・ルミノソでない fact10: 気持ち良くないものは明る過ぎるしその上センデロ・ルミノソだ fact11: 仮に「「何らかのものは御濃くない一方で陰門だ」ということは事実だ」ということは偽であるとすると陰門でない
fact3 & fact5 -> int1: そのむきは気持ち良い; int1 -> int2: そのむきは陰門であるか気持ち良い; int2 & fact9 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 & fact9 -> hypothesis;
あの模倣はセンデロ・ルミノソである
fact14 -> int3: あの模倣が気持ち良くないならそれは明る過ぎるしまたセンデロ・ルミノソだ; fact12 -> int4: もしも「そのむきは御濃くないけど陰門である」ということは成り立たないとしたら陰門でない; fact16 -> int5: 仮にそのむきは想像し難くないとすれば「それは御濃いということはないけれど陰門だ」ということは事実と異なる; int5 & fact15 -> int6: 「そのむきは御濃いということはないがしかしそれは陰門である」ということは間違っている; int4 & int6 -> int7: そのむきは陰門でない; int7 -> int8: なにがしかのものは陰門でない;
$facts$ = fact1: この可燃物は明る過ぎる fact2: そのむきは想像し難いということはない fact3: もしも「この御祖母様は明る過ぎる」ということは成り立つとすればそのむきは気持ち良い fact4: もしそのむきが陰門であるならあの模倣はセンデロ・ルミノソでない fact5: この御祖母様は明る過ぎる fact6: あの二軒は擦れるかコサインＴであるかあるいは両方である fact7: 仮に「この御祖母様は重なり合うということはないかまたは気持ち良い」ということは成り立たないならあの模倣は気持ち良くない fact8: もし仮になんらかの物は想像し難くないとすると「御濃いということはないがしかし陰門である」ということは真実でない fact9: もしもそのむきが陰門であるかまたは気持ち良いかあるいは両方ともだとしたらあの模倣はセンデロ・ルミノソでない fact10: 気持ち良くないものは明る過ぎるしその上センデロ・ルミノソだ fact11: 仮に「「何らかのものは御濃くない一方で陰門だ」ということは事実だ」ということは偽であるとすると陰門でない ; $hypothesis$ = あの模倣はセンデロ・ルミノソだ ; $proof$ = 
fact3 & fact5 -> int1: そのむきは気持ち良い; int1 -> int2: そのむきは陰門であるか気持ち良い; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: この可燃物は明る過ぎる
事実2: そのむきは想像し難いということはない
事実3: もしも「この御祖母様は明る過ぎる」ということは成り立つとすればそのむきは気持ち良い
事実4: もしそのむきが陰門であるならあの模倣はセンデロ・ルミノソでない
事実5: この御祖母様は明る過ぎる
事実6: あの二軒は擦れるかコサインＴであるかあるいは両方である
事実7: 仮に「この御祖母様は重なり合うということはないかまたは気持ち良い」ということは成り立たないならあの模倣は気持ち良くない
事実8: もし仮になんらかの物は想像し難くないとすると「御濃いということはないがしかし陰門である」ということは真実でない
事実9: もしもそのむきが陰門であるかまたは気持ち良いかあるいは両方ともだとしたらあの模倣はセンデロ・ルミノソでない
事実10: 気持ち良くないものは明る過ぎるしその上センデロ・ルミノソだ
事実11: 仮に「「何らかのものは御濃くない一方で陰門だ」ということは事実だ」ということは偽であるとすると陰門でない

仮説: あの模倣はセンデロ・ルミノソだ
1. 事実3と事実5から、推論1: "そのむきは気持ち良い"が導かれる
2. 推論1から、推論2: "そのむきは陰門であるか気持ち良い"が導かれる
3. 推論2と事実9から、仮説が否定される

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