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