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