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