「もし仮にその表われは描き上げるということはないとしたら「その匿名ユーザーは説明し直すが熱回収しない」ということは嘘だ」ということは成り立たない
fact1: その表われが描き上げないならその匿名ユーザーは説明し直すがしかし熱回収しない fact2: とある物は説明し直すしまた描き上げるなら愛媛産だ fact3: 仮にその匿名ユーザーが愛媛産であるとするとその表われは描き上げる fact4: 「その表われはヴァージニア土地人頭割り権であるしおまけに長呼する」ということは成り立つということはない fact5: もしもその匿名ユーザーは説明し直すし熱回収するなら「愛媛産だ」ということは成り立つ fact6: なんらかのものは説明し直すが熱回収しないならば愛媛産である fact7: その匿名ユーザーは描き上げれば「その表われは説明し直すがそれは熱回収しない」ということは成り立たない fact8: もし仮にあるものが愛媛産であるしさらに描き上げればそれは熱回収する
fact6 -> int1: もし仮にその匿名ユーザーは説明し直すがしかし熱回収するということはないならばそれは愛媛産である; void -> assump1: 以下のように仮定する。その匿名ユーザーは説明し直すが熱回収しない; int1 & assump1 -> int2: その匿名ユーザーは愛媛産だ; int2 & fact3 -> int3: 「その表われは描き上げる」ということは確かだ; void -> assump2: 以下のように仮定する。その表われは描き上げるということはない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その匿名ユーザーは説明し直すけれど熱回収するということはない」ということは偽である; [assump2] & int5 -> hypothesis;
$facts$ = fact1: その表われが描き上げないならその匿名ユーザーは説明し直すがしかし熱回収しない fact2: とある物は説明し直すしまた描き上げるなら愛媛産だ fact3: 仮にその匿名ユーザーが愛媛産であるとするとその表われは描き上げる fact4: 「その表われはヴァージニア土地人頭割り権であるしおまけに長呼する」ということは成り立つということはない fact5: もしもその匿名ユーザーは説明し直すし熱回収するなら「愛媛産だ」ということは成り立つ fact6: なんらかのものは説明し直すが熱回収しないならば愛媛産である fact7: その匿名ユーザーは描き上げれば「その表われは説明し直すがそれは熱回収しない」ということは成り立たない fact8: もし仮にあるものが愛媛産であるしさらに描き上げればそれは熱回収する ; $hypothesis$ = 「もし仮にその表われは描き上げるということはないとしたら「その匿名ユーザーは説明し直すが熱回収しない」ということは嘘だ」ということは成り立たない ; $proof$ = 
fact6 -> int1: もし仮にその匿名ユーザーは説明し直すがしかし熱回収するということはないならばそれは愛媛産である; void -> assump1: 以下のように仮定する。その匿名ユーザーは説明し直すが熱回収しない; int1 & assump1 -> int2: その匿名ユーザーは愛媛産だ; int2 & fact3 -> int3: 「その表われは描き上げる」ということは確かだ; void -> assump2: 以下のように仮定する。その表われは描き上げるということはない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その匿名ユーザーは説明し直すけれど熱回収するということはない」ということは偽である; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: その表われが描き上げないならその匿名ユーザーは説明し直すがしかし熱回収しない
事実2: とある物は説明し直すしまた描き上げるなら愛媛産だ
事実3: 仮にその匿名ユーザーが愛媛産であるとするとその表われは描き上げる
事実4: 「その表われはヴァージニア土地人頭割り権であるしおまけに長呼する」ということは成り立つということはない
事実5: もしもその匿名ユーザーは説明し直すし熱回収するなら「愛媛産だ」ということは成り立つ
事実6: なんらかのものは説明し直すが熱回収しないならば愛媛産である
事実7: その匿名ユーザーは描き上げれば「その表われは説明し直すがそれは熱回収しない」ということは成り立たない
事実8: もし仮にあるものが愛媛産であるしさらに描き上げればそれは熱回収する

仮説: 「もし仮にその表われは描き上げるということはないとしたら「その匿名ユーザーは説明し直すが熱回収しない」ということは嘘だ」ということは成り立たない
1. 事実6から、推論1: "もし仮にその匿名ユーザーは説明し直すがしかし熱回収するということはないならばそれは愛媛産である"が導かれる
2. 仮定1: 以下のように仮定する。その匿名ユーザーは説明し直すが熱回収しない
3. 推論1と仮定1から、推論2: "その匿名ユーザーは愛媛産だ"が導かれる
4. 推論2と事実3から、推論3: "「その表われは描き上げる」ということは確かだ"が導かれる
5. 仮定2: 以下のように仮定する。その表われは描き上げるということはない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その匿名ユーザーは説明し直すけれど熱回収するということはない」ということは偽である"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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