The cat is young. The cat does not like the dog. The dog chases the cat. The dog is big. The dog likes the squirrel. The dog sees the cat. The dog sees the squirrel. The dog sees the tiger. The squirrel likes the cat. The squirrel does not like the tiger. The squirrel does not see the cat. The squirrel does not see the tiger. The tiger is young. The tiger does not like the dog. The tiger sees the cat. The tiger sees the squirrel. If someone likes the cat then the cat sees the tiger.
The cat is young.
("cat" "is" "young" "+")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone likes the cat then the cat sees the tiger.
((("someone" "likes" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
The tiger sees the cat.
True
1
proof
[(triple15)]
("tiger" "sees" "cat" "+")
triple15
The dog is not big.
False
1
inv-proof
[(triple4)]
("dog" "is" "big" "-")
triple4
The cat sees the tiger.
True
2
proof
[(((triple9) -> rule1))]
("cat" "sees" "tiger" "+")
((triple9) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cat does not see the tiger.
False
2
inv-proof
[(((triple9) -> rule1))]
("cat" "sees" "tiger" "-")
((triple9) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The dog does not chase the tiger.
Unknown
inv-random
[@0: The dog chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The cat does not like the dog.[(triple2)] The cat is young.[(triple1)] The dog chases the cat.[(triple3)] The dog is big.[(triple4)] The dog likes the squirrel.[(triple5)] The dog sees the cat.[(triple6)] The dog sees the squirrel.[(triple7)] The dog sees the tiger.[(triple8)] The squirrel does not like the tiger.[(triple10)] The squirrel does not see the cat.[(triple11)] The squirrel does not see the tiger.[(triple12)] The squirrel likes the cat.[(triple9)] The tiger does not like the dog.[(triple14)] The tiger is young.[(triple13)] The tiger sees the cat.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The cat sees the tiger.[(((triple9) -> rule1))]
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple2
The cat is young.
("cat" "is" "young" "+")
triple1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple5
The dog sees the cat.
("dog" "sees" "cat" "+")
triple6
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple7
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple8
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple10
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple11
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple9
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple9) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1