The cow is blue. Red people are blue. Blue, red people are not nice. Red, green people are big. If someone is red and not blue then they are green. If someone is blue then they are green. If someone is red and big then they are green.
The cow is blue.
("cow" "is" "blue" "+")
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Blue, red people are not nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "-"))
Red, green people are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and not blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
The cow is blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "+")
triple1
The cow is not blue.
False
1
inv-proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow is green.
True
2
proof
[(((triple1) -> rule5))]
("cow" "is" "green" "+")
((triple1) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple1) -> rule5))]
("cow" "is" "green" "-")
((triple1) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "big" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
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 blue.[(triple1)] @1: The cow is green.[(((triple1) -> rule5))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1