The cat eats the dog. The cat eats the tiger. The cat likes the tiger. The cat sees the tiger. The dog is not blue. The dog is red. The dog is young. The dog likes the cat. The dog does not like the tiger. The dog sees the tiger. The tiger does not eat the dog. The tiger is blue. The tiger is green. The tiger is young. The tiger likes the cat. The tiger likes the dog. If someone is blue then they see the cat. If someone likes the dog and they do not see the tiger then they see the cat. If someone likes the cat then they are red. If someone sees the tiger and they like the dog then the tiger sees the cat. If someone eats the dog then the dog is red. If someone sees the tiger and the tiger is red then they are young.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone is blue then they see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "+"))
If someone likes the dog and they do not see the tiger then they see the cat.
((("someone" "likes" "dog" "+") ("someone" "sees" "tiger" "~")) -> ("someone" "sees" "cat" "+"))
If someone likes the cat then they are red.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "red" "+"))
If someone sees the tiger and they like the dog then the tiger sees the cat.
((("someone" "sees" "tiger" "+") ("someone" "likes" "dog" "+")) -> ("tiger" "sees" "cat" "+"))
If someone eats the dog then the dog is red.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone sees the tiger and the tiger is red then they are young.
((("someone" "sees" "tiger" "+") ("tiger" "is" "red" "+")) -> ("someone" "is" "young" "+"))
The tiger is young.
True
1
proof
[(triple14)]
("tiger" "is" "young" "+")
triple14
The dog is not young.
False
1
inv-proof
[(triple7 OR ((triple10 ((triple15) -> rule3)) -> rule6))]
("dog" "is" "young" "-")
triple7
((triple10 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is red.
True
2
proof
[(((triple15) -> rule3))]
("tiger" "is" "red" "+")
((triple15) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger does not see the cat.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "sees" "cat" "-")
((triple12) -> (rule1 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The cat is young.
True
4
proof
[(((triple4 ((triple15) -> rule3)) -> rule6))]
("cat" "is" "young" "+")
((triple4 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The cat is not young.
False
4
inv-proof
[(((triple4 ((triple15) -> rule3)) -> rule6))]
("cat" "is" "young" "-")
((triple4 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "cat" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "+")
The dog does not see the cat.
Unknown
inv-rconc
[@1: The dog sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The cat does not see the dog.
Unknown
inv-random
[@0: The cat sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "dog" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2)] The cat likes the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The dog does not like the tiger.[(triple9)] The dog is not blue.[(triple5)] The dog is red.[(triple6 OR ((triple1) -> rule5) OR ((triple8) -> rule3))] The dog is young.[(triple7 OR ((triple10 ((triple15) -> rule3)) -> rule6))] The dog likes the cat.[(triple8)] The dog sees the tiger.[(triple10)] The tiger does not eat the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)] The tiger likes the dog.[(triple16)] @1: The tiger is red.[(((triple15) -> rule3))] The tiger sees the cat.[(((triple12) -> rule1))] @2: The cat is young.[(((triple4 ((triple15) -> rule3)) -> rule6))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple3
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
triple9
The dog is not blue.
("dog" "is" "blue" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
((triple1) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple8) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple7
((triple10 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple10
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple16
The tiger is red.
("tiger" "is" "red" "+")
((triple15) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger sees the cat.
("tiger" "sees" "cat" "+")
((triple12) -> (rule1 % int1))
The tiger sees the cat.
("tiger" "sees" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple4 ((triple15) -> (rule3 % int2))) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2