「「この中アンダマン島はシーア派でなくてそれに研究材料であるということはない」ということは事実であるということはない」ということは真実だ
fact1: この現役は研究材料である fact2: もし仮になにがしかの物が駿河屋寮でないとしたらべとべとしないしそれは研究材料だということはない fact3: この中アンダマン島はシーア派でない fact4: もし仮にこのウエブが駿河屋寮であるとすればこの中アンダマン島はシーア派でないしさらに研究材料でない fact5: もしとある物が飛び出せるとしたらそれは駿河屋寮でない fact6: このウエブがシーア派であるとするとこの中アンダマン島は駿河屋寮でない fact7: 「この中アンダマン島は駿河屋寮だ」ということは真実である fact8: 仮に「なにがしかのものは切り離し難くないしおまけに飛び出せない」ということは成り立たないならそれは飛び出せる fact9: もし仮にこの中アンダマン島がシーア派であるとしたらこのウエブは研究材料でなくて駿河屋寮でない fact10: この中アンダマン島が駿河屋寮だとするとこのウエブは研究材料でなくてシーア派でない fact11: このウエブは駿河屋寮だ
fact4 & fact11 -> hypothesis;
fact4 & fact11 -> hypothesis;
そのブレイクはべとべとするということはなくて研究材料でない
fact12 -> int1: 「そのブレイクは駿河屋寮でない」ということは確かだとするとそれはべとべとしなくてその上研究材料でない; fact14 -> int2: そのブレイクが飛び出せるとしたらそれは駿河屋寮だということはない; fact13 -> int3: もし仮に「そのブレイクは切り離し難くないし飛び出せない」ということは間違っていればそれは飛び出せる;
$facts$ = fact1: この現役は研究材料である fact2: もし仮になにがしかの物が駿河屋寮でないとしたらべとべとしないしそれは研究材料だということはない fact3: この中アンダマン島はシーア派でない fact4: もし仮にこのウエブが駿河屋寮であるとすればこの中アンダマン島はシーア派でないしさらに研究材料でない fact5: もしとある物が飛び出せるとしたらそれは駿河屋寮でない fact6: このウエブがシーア派であるとするとこの中アンダマン島は駿河屋寮でない fact7: 「この中アンダマン島は駿河屋寮だ」ということは真実である fact8: 仮に「なにがしかのものは切り離し難くないしおまけに飛び出せない」ということは成り立たないならそれは飛び出せる fact9: もし仮にこの中アンダマン島がシーア派であるとしたらこのウエブは研究材料でなくて駿河屋寮でない fact10: この中アンダマン島が駿河屋寮だとするとこのウエブは研究材料でなくてシーア派でない fact11: このウエブは駿河屋寮だ ; $hypothesis$ = 「「この中アンダマン島はシーア派でなくてそれに研究材料であるということはない」ということは事実であるということはない」ということは真実だ ; $proof$ = 
fact4 & fact11 -> hypothesis; __DISPROVED__
事実1: この現役は研究材料である
事実2: もし仮になにがしかの物が駿河屋寮でないとしたらべとべとしないしそれは研究材料だということはない
事実3: この中アンダマン島はシーア派でない
事実4: もし仮にこのウエブが駿河屋寮であるとすればこの中アンダマン島はシーア派でないしさらに研究材料でない
事実5: もしとある物が飛び出せるとしたらそれは駿河屋寮でない
事実6: このウエブがシーア派であるとするとこの中アンダマン島は駿河屋寮でない
事実7: 「この中アンダマン島は駿河屋寮だ」ということは真実である
事実8: 仮に「なにがしかのものは切り離し難くないしおまけに飛び出せない」ということは成り立たないならそれは飛び出せる
事実9: もし仮にこの中アンダマン島がシーア派であるとしたらこのウエブは研究材料でなくて駿河屋寮でない
事実10: この中アンダマン島が駿河屋寮だとするとこのウエブは研究材料でなくてシーア派でない
事実11: このウエブは駿河屋寮だ

仮説: 「「この中アンダマン島はシーア派でなくてそれに研究材料であるということはない」ということは事実であるということはない」ということは真実だ
1. 事実4と事実11から、仮説が否定される

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