そのＥＴアットは劈頭だ
fact1: その二法案は開幕するしまた耐え難い fact2: そのＥＴアットは磨り潰すしさらにそれは中国株だ fact3: 中国株は磨り潰す fact4: もし仮にそのＥＴアットが中国株だしさらに劈頭だとするとあの公共事業関係費は耐え難いということはない fact5: 「あの公共事業関係費は内皮細胞でない」ということは間違っている fact6: もし仮にあの公共事業関係費は光凝固でないとしたらそれは驕れるし眺め続ける fact7: あの公共事業関係費は磨り潰す fact8: あの公共事業関係費は耐え難い fact9: もし仮にあの公共事業関係費が眺め続けるならそのＥＴアットは耐え難い fact10: そのＥＴアットは耐え難い fact11: そのＥＴアットは磨り潰す
fact2 -> int1: そのＥＴアットは中国株だ; void -> assump1: 以下のように仮定する。そのＥＴアットは劈頭である; int1 & assump1 -> int2: そのＥＴアットは中国株であるし加えて劈頭である; int2 & fact4 -> int3: あの公共事業関係費は耐え難いということはない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「あの大慶至極は磨り潰す」ということは確かだ
fact12 -> int5: もしあの大慶至極は中国株であるとしたらそれは磨り潰す;
$facts$ = fact1: その二法案は開幕するしまた耐え難い fact2: そのＥＴアットは磨り潰すしさらにそれは中国株だ fact3: 中国株は磨り潰す fact4: もし仮にそのＥＴアットが中国株だしさらに劈頭だとするとあの公共事業関係費は耐え難いということはない fact5: 「あの公共事業関係費は内皮細胞でない」ということは間違っている fact6: もし仮にあの公共事業関係費は光凝固でないとしたらそれは驕れるし眺め続ける fact7: あの公共事業関係費は磨り潰す fact8: あの公共事業関係費は耐え難い fact9: もし仮にあの公共事業関係費が眺め続けるならそのＥＴアットは耐え難い fact10: そのＥＴアットは耐え難い fact11: そのＥＴアットは磨り潰す ; $hypothesis$ = そのＥＴアットは劈頭だ ; $proof$ = 
fact2 -> int1: そのＥＴアットは中国株だ; void -> assump1: 以下のように仮定する。そのＥＴアットは劈頭である; int1 & assump1 -> int2: そのＥＴアットは中国株であるし加えて劈頭である; int2 & fact4 -> int3: あの公共事業関係費は耐え難いということはない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その二法案は開幕するしまた耐え難い
事実2: そのＥＴアットは磨り潰すしさらにそれは中国株だ
事実3: 中国株は磨り潰す
事実4: もし仮にそのＥＴアットが中国株だしさらに劈頭だとするとあの公共事業関係費は耐え難いということはない
事実5: 「あの公共事業関係費は内皮細胞でない」ということは間違っている
事実6: もし仮にあの公共事業関係費は光凝固でないとしたらそれは驕れるし眺め続ける
事実7: あの公共事業関係費は磨り潰す
事実8: あの公共事業関係費は耐え難い
事実9: もし仮にあの公共事業関係費が眺め続けるならそのＥＴアットは耐え難い
事実10: そのＥＴアットは耐え難い
事実11: そのＥＴアットは磨り潰す

仮説: そのＥＴアットは劈頭だ
1. 事実2から、推論1: "そのＥＴアットは中国株だ"が導かれる
2. 仮定1: 以下のように仮定する。そのＥＴアットは劈頭である
3. 推論1と仮定1から、推論2: "そのＥＴアットは中国株であるし加えて劈頭である"が導かれる
4. 推論2と事実4から、推論3: "あの公共事業関係費は耐え難いということはない"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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