「このセルサイズリポソーム内は疑い深いかあるいは大人しい」ということは成り立つということはない
fact1: 「あの兄神は疲れ易くない」ということは真実だとするとこのセルサイズリポソーム内は開眼しないがしかしそれは一般意志である fact2: あの兄神が開眼するならばあのセルサイズリポソーム内は大人しい fact3: あの兄神は開眼する fact4: もしもなにかは開眼しないとすると「それは疑い深いかまたは大人しいかまたはどちらもである」ということは誤りである
fact2 & fact3 -> int1: このセルサイズリポソーム内は大人しい; int1 -> hypothesis;
「このセルサイズリポソーム内は疑い深いかあるいは大人しい」ということは間違いである
fact5 -> int2: もしこのセルサイズリポソーム内は開眼しないならば「「それは疑い深いか大人しいかあるいはどちらもだ」ということは確かだ」ということは嘘だ;
$facts$ = fact1: 「あの兄神は疲れ易くない」ということは真実だとするとこのセルサイズリポソーム内は開眼しないがしかしそれは一般意志である fact2: あの兄神が開眼するならばあのセルサイズリポソーム内は大人しい fact3: あの兄神は開眼する fact4: もしもなにかは開眼しないとすると「それは疑い深いかまたは大人しいかまたはどちらもである」ということは誤りである ; $hypothesis$ = 「このセルサイズリポソーム内は疑い深いかあるいは大人しい」ということは成り立つということはない ; $proof$ = 
fact2 & fact3 -> int1: このセルサイズリポソーム内は大人しい; int1 -> hypothesis; __DISPROVED__
事実1: 「あの兄神は疲れ易くない」ということは真実だとするとこのセルサイズリポソーム内は開眼しないがしかしそれは一般意志である
事実2: あの兄神が開眼するならばあのセルサイズリポソーム内は大人しい
事実3: あの兄神は開眼する
事実4: もしもなにかは開眼しないとすると「それは疑い深いかまたは大人しいかまたはどちらもである」ということは誤りである

仮説: 「このセルサイズリポソーム内は疑い深いかあるいは大人しい」ということは成り立つということはない
1. 事実2と事実3から、推論1: "このセルサイズリポソーム内は大人しい"が導かれる
2. 推論1から、仮説が否定される

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