The cow chases the squirrel. The cow does not like the rabbit. The dog is big. The dog is young. The dog likes the squirrel. The rabbit chases the dog. The squirrel likes the dog. If someone is young and they like the cow then the cow does not eat the dog. If someone chases the squirrel and the squirrel does not chase the dog then the dog chases the rabbit. All big people are cold.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is young and they like the cow then the cow does not eat the dog.
((("someone" "is" "young" "+") ("someone" "likes" "cow" "+")) -> ("cow" "eats" "dog" "-"))
If someone chases the squirrel and the squirrel does not chase the dog then the dog chases the rabbit.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "dog" "~")) -> ("dog" "chases" "rabbit" "+"))
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
The cow chases the squirrel.
True
1
proof
[(triple1)]
("cow" "chases" "squirrel" "+")
triple1
The rabbit does not chase the dog.
False
1
inv-proof
[(triple6)]
("rabbit" "chases" "dog" "-")
triple6
The dog does not chase the rabbit.
Unknown
inv-rconc
[@1: The dog chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "rabbit" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The cow chases the squirrel.[(triple1)] The cow does not like the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is young.[(triple4)] The dog likes the squirrel.[(triple5)] The rabbit chases the dog.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog is cold.[(((triple3) -> rule3))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple5
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
((triple3) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1