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