「この七夕様はゆらゆらする」ということは正しい
fact1: その維持・再生産は介抱しない fact2: 仮に「あのループは洗い流すか売券であるかもしくは両方である」ということは誤りだとすればこの七夕様はゆらゆらしない fact3: 仮にこの七夕様は介抱しないなら「このシナプトソームはゆらゆらするかあるいはそれは売券であるかあるいはどちらもである」ということは成り立たない fact4: もし仮にこのシナプトソームは介抱しないとしたら「あのループは洗い流すかもしくは売券であるか両方である」ということは間違っている fact5: このシナプトソームは介抱しない fact6: この七夕様は洗い流さないとすると「あのループはゆらゆらするかまたは売券であるかもしくは両方ともである」ということは誤りである
fact4 & fact5 -> int1: 「「あのループは洗い流すかもしくは売券だ」ということは成り立つ」ということは間違っている; int1 & fact2 -> hypothesis;
fact4 & fact5 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact2 -> hypothesis;
$facts$ = fact1: その維持・再生産は介抱しない fact2: 仮に「あのループは洗い流すか売券であるかもしくは両方である」ということは誤りだとすればこの七夕様はゆらゆらしない fact3: 仮にこの七夕様は介抱しないなら「このシナプトソームはゆらゆらするかあるいはそれは売券であるかあるいはどちらもである」ということは成り立たない fact4: もし仮にこのシナプトソームは介抱しないとしたら「あのループは洗い流すかもしくは売券であるか両方である」ということは間違っている fact5: このシナプトソームは介抱しない fact6: この七夕様は洗い流さないとすると「あのループはゆらゆらするかまたは売券であるかもしくは両方ともである」ということは誤りである ; $hypothesis$ = 「この七夕様はゆらゆらする」ということは正しい ; $proof$ = 
fact4 & fact5 -> int1: 「「あのループは洗い流すかもしくは売券だ」ということは成り立つ」ということは間違っている; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その維持・再生産は介抱しない
事実2: 仮に「あのループは洗い流すか売券であるかもしくは両方である」ということは誤りだとすればこの七夕様はゆらゆらしない
事実3: 仮にこの七夕様は介抱しないなら「このシナプトソームはゆらゆらするかあるいはそれは売券であるかあるいはどちらもである」ということは成り立たない
事実4: もし仮にこのシナプトソームは介抱しないとしたら「あのループは洗い流すかもしくは売券であるか両方である」ということは間違っている
事実5: このシナプトソームは介抱しない
事実6: この七夕様は洗い流さないとすると「あのループはゆらゆらするかまたは売券であるかもしくは両方ともである」ということは誤りである

仮説: 「この七夕様はゆらゆらする」ということは正しい
1. 事実4と事実5から、推論1: "「「あのループは洗い流すかもしくは売券だ」ということは成り立つ」ということは間違っている"が導かれる
2. 推論1と事実2から、仮説が否定される

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