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