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