The cow is rough. If the cow is red and the cow is green then the cow is young. If the cow is young and the cow is red then the cow is green. If the cow is rough then the cow is green. All red, round people are rough. All young people are rough. Round, green people are rough. If the cow is green then the cow is rough. If the cow is rough then the cow is round.
The cow is rough.
("cow" "is" "rough" "+")
If the cow is red and the cow is green then the cow is young.
((("cow" "is" "red" "+") ("cow" "is" "green" "+")) -> ("cow" "is" "young" "+"))
If the cow is young and the cow is red then the cow is green.
((("cow" "is" "young" "+") ("cow" "is" "red" "+")) -> ("cow" "is" "green" "+"))
If the cow is rough then the cow is green.
((("cow" "is" "rough" "+")) -> ("cow" "is" "green" "+"))
All red, round people are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Round, green people are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If the cow is green then the cow is rough.
((("cow" "is" "green" "+")) -> ("cow" "is" "rough" "+"))
If the cow is rough then the cow is round.
((("cow" "is" "rough" "+")) -> ("cow" "is" "round" "+"))
The cow is rough.
True
1
proof
[(triple1)]
("cow" "is" "rough" "+")
triple1
The cow is not rough.
False
1
inv-proof
[(triple1)]
("cow" "is" "rough" "-")
triple1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is rough.[(triple1)] @1: The cow is green.[(((triple1) -> rule3))] The cow is round.[(((triple1) -> rule8))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule8 % int1))
The cow is round.
("cow" "is" "round" "+")
int1