その校門は終助詞であるということはないがしかし原因療法だ
fact1: 仮にこの走査線は終助詞でないとしたら「その校門は終助詞でない一方で原因療法である」ということは成り立たない fact2: もしこの走査線は赤くないならば「その校門は終助詞でないがしかし原因療法だ」ということは成り立つ fact3: 「「難しくて描写しない」ということは間違っている」ものはある fact4: もし仮に「「難しいけど描写するということはない」ということは誤っている」物はあれば「この走査線は終助詞であるということはない」ということは間違っていない
fact3 & fact4 -> int1: 「この走査線は終助詞でない」ということは事実だ; int1 & fact1 -> hypothesis;
その校門は終助詞でない一方で原因療法である
$facts$ = fact1: 仮にこの走査線は終助詞でないとしたら「その校門は終助詞でない一方で原因療法である」ということは成り立たない fact2: もしこの走査線は赤くないならば「その校門は終助詞でないがしかし原因療法だ」ということは成り立つ fact3: 「「難しくて描写しない」ということは間違っている」ものはある fact4: もし仮に「「難しいけど描写するということはない」ということは誤っている」物はあれば「この走査線は終助詞であるということはない」ということは間違っていない ; $hypothesis$ = その校門は終助詞であるということはないがしかし原因療法だ ; $proof$ = 
fact3 & fact4 -> int1: 「この走査線は終助詞でない」ということは事実だ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの走査線は終助詞でないとしたら「その校門は終助詞でない一方で原因療法である」ということは成り立たない
事実2: もしこの走査線は赤くないならば「その校門は終助詞でないがしかし原因療法だ」ということは成り立つ
事実3: 「「難しくて描写しない」ということは間違っている」ものはある
事実4: もし仮に「「難しいけど描写するということはない」ということは誤っている」物はあれば「この走査線は終助詞であるということはない」ということは間違っていない

仮説: その校門は終助詞であるということはないがしかし原因療法だ
1. 事実3と事実4から、推論1: "「この走査線は終助詞でない」ということは事実だ"が導かれる
2. 推論1と事実1から、仮説が否定される

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