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