The cow chases the dog. The cow is round. The cow visits the squirrel. The dog likes the squirrel. The squirrel chases the cow. The squirrel likes the cow. The squirrel likes the dog. If someone is green then they are nice. If someone likes the dog then they visit the dog. If someone is cold then they like the cow. If someone likes the cow and the cow is round then they are cold. If the cow visits the dog then the dog is round. If someone chases the dog then the dog visits the cow. If someone is nice and they visit the cow then the cow chases the dog. If the squirrel is nice then the squirrel is cold.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the dog then they visit the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone is cold then they like the cow.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cow and the cow is round then they are cold.
((("someone" "likes" "cow" "+") ("cow" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If the cow visits the dog then the dog is round.
((("cow" "visits" "dog" "+")) -> ("dog" "is" "round" "+"))
If someone chases the dog then the dog visits the cow.
((("someone" "chases" "dog" "+")) -> ("dog" "visits" "cow" "+"))
If someone is nice and they visit the cow then the cow chases the dog.
((("someone" "is" "nice" "+") ("someone" "visits" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If the squirrel is nice then the squirrel is cold.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "cold" "+"))
The dog likes the squirrel.
True
1
proof
[(triple4)]
("dog" "likes" "squirrel" "+")
triple4
The squirrel does not chase the cow.
False
1
inv-proof
[(triple5)]
("squirrel" "chases" "cow" "-")
triple5
The squirrel visits the dog.
True
2
proof
[(((triple7) -> rule2))]
("squirrel" "visits" "dog" "+")
((triple7) -> (rule2 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The squirrel is not cold.
False
3
inv-proof
[(((triple6 triple2) -> rule4))]
("squirrel" "is" "cold" "-")
((triple6 triple2) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The dog is round.
Unknown
rconc
[@2: The dog is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("dog" "is" "round" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The squirrel chases the dog.
Unknown
random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow is round.[(triple2)] The cow visits the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel likes the cow.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog visits the cow.[(((triple1) -> rule6))] The squirrel is cold.[(((triple6 triple2) -> rule4))] The squirrel visits the dog.[(((triple7) -> rule2))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The dog visits the cow.
("dog" "visits" "cow" "+")
((triple1) -> (rule6 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple6 triple2) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
((triple7) -> (rule2 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1