The cat is not red. The cat does not like the dog. The dog chases the cat. The dog chases the squirrel. The dog eats the cat. The dog is not cold. The dog is red. The dog likes the cat. The dog likes the squirrel. The squirrel eats the cat. The squirrel is not blue. The squirrel is red. If someone chases the dog then they are round. If someone is red then they chase the dog. If someone chases the dog and they do not chase the squirrel then they eat the cat. If someone chases the squirrel then the squirrel does not chase the cat. If someone chases the cat and the cat does not chase the squirrel then they are cold. If someone likes the cat then they are green. If someone likes the dog then they eat the dog. If someone chases the dog and they are not cold then they like the dog.
The cat is not red.
("cat" "is" "red" "-")
The cat does not like the dog.
("cat" "likes" "dog" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
If someone chases the dog then they are round.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they chase the dog.
((("someone" "is" "red" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the dog and they do not chase the squirrel then they eat the cat.
((("someone" "chases" "dog" "+") ("someone" "chases" "squirrel" "~")) -> ("someone" "eats" "cat" "+"))
If someone chases the squirrel then the squirrel does not chase the cat.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cat" "-"))
If someone chases the cat and the cat does not chase the squirrel then they are cold.
((("someone" "chases" "cat" "+") ("cat" "chases" "squirrel" "~")) -> ("someone" "is" "cold" "+"))
If someone likes the cat then they are green.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone likes the dog then they eat the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the dog and they are not cold then they like the dog.
((("someone" "chases" "dog" "+") ("someone" "is" "cold" "~")) -> ("someone" "likes" "dog" "+"))
The squirrel is red.
True
1
proof
[(triple12)]
("squirrel" "is" "red" "+")
triple12
The squirrel is not red.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "red" "-")
triple12
The squirrel does not chase the cat.
True
2
proof
[(((triple4) -> rule4))]
("squirrel" "chases" "cat" "-")
((triple4) -> (rule4 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple7) -> rule2))]
("dog" "chases" "dog" "-")
((triple7) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is round.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("dog" "is" "round" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog does not like the dog.
False
4
inv-proof
[(((((triple7) -> rule2) triple6) -> rule8))]
("dog" "likes" "dog" "-")
((((triple7) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog eats the dog.
True
5
proof
[(((((((triple7) -> rule2) triple6) -> rule8)) -> rule7))]
("dog" "eats" "dog" "+")
((((((triple7) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog does not eat the dog.
False
5
inv-proof
[(((((((triple7) -> rule2) triple6) -> rule8)) -> rule7))]
("dog" "eats" "dog" "-")
((((((triple7) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat eats the dog.
Unknown
rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "eats" "dog" "+")
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the dog.
Unknown
rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "dog" "+")
The cat does not eat the squirrel.
Unknown
inv-random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The squirrel does not like the cat.
Unknown
inv-random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The cat does not like the dog.[(triple2)] The cat is not red.[(triple1)] The dog chases the cat.[(triple3)] The dog chases the squirrel.[(triple4)] The dog eats the cat.[(triple5)] The dog is not cold.[(triple6)] The dog is red.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is not blue.[(triple11)] The squirrel is red.[(triple12)] @1: The dog chases the dog.[(((triple7) -> rule2))] The dog is green.[(((triple8) -> rule6))] The squirrel chases the dog.[(((triple12) -> rule2))] The squirrel does not chase the cat.[(((triple4) -> rule4))] @2: The dog is round.[(((((triple7) -> rule2)) -> rule1))] The dog likes the dog.[(((((triple7) -> rule2) triple6) -> rule8))] The squirrel is round.[(((((triple12) -> rule2)) -> rule1))] @3: The dog eats the dog.[(((((((triple7) -> rule2) triple6) -> rule8)) -> rule7))]
The cat does not like the dog.
("cat" "likes" "dog" "-")
triple2
The cat is not red.
("cat" "is" "red" "-")
triple1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The dog eats the cat.
("dog" "eats" "cat" "+")
triple5
The dog is not cold.
("dog" "is" "cold" "-")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple7) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple8) -> (rule6 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple12) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
((triple4) -> (rule4 % int1))
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple7) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((((((triple7) -> (rule2 % int3)) triple6) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3