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