The cow is green. The cow is nice. The cow is red. All nice, blue people are green. All blue people are red. Red, green people are blue.
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
All nice, blue people are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Red, green people are blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
The cow is nice.
True
1
proof
[(triple2)]
("cow" "is" "nice" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple2)]
("cow" "is" "nice" "-")
triple2
The cow is blue.
True
3
proof
[(((triple3 triple1) -> rule3))]
("cow" "is" "blue" "+")
((triple3 triple1) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
3
inv-proof
[(((triple3 triple1) -> rule3))]
("cow" "is" "blue" "-")
((triple3 triple1) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] @1: The cow is blue.[(((triple3 triple1) -> rule3))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
((triple3 triple1) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1