The cow is green. All big, nice people are blue. If someone is green then they are rough. If someone is green and blue then they are nice.
The cow is green.
("cow" "is" "green" "+")
All big, nice people are blue.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is rough.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "blue" "-")
The cow is nice.
Unknown
rconc
[@2: The cow is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cow" "is" "nice" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow is green.[(triple1)] @1: The cow is rough.[(((triple1) -> rule2))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1