The cat is blue. The cat is green. The cat is red. The cat is rough. The cat likes the dog. The cat needs the dog. The cat sees the dog. The dog is blue. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog likes the cat. The dog needs the cat. The dog sees the cat. If something is nice then it likes the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If something is nice then it likes the cat.
((("something" "is" "nice" "+")) -> ("something" "likes" "cat" "+"))
The cat needs the dog.
True
1
proof
[(triple6)]
("cat" "needs" "dog" "+")
triple6
The cat is not red.
False
1
inv-proof
[(triple3)]
("cat" "is" "red" "-")
triple3
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat likes the dog.[(triple5)] The cat needs the dog.[(triple6)] The cat sees the dog.[(triple7)] The dog is blue.[(triple8)] The dog is green.[(triple9)] The dog is nice.[(triple10)] The dog is red.[(triple11)] The dog is rough.[(triple12)] The dog likes the cat.[(triple13 OR ((triple10) -> rule1))] The dog needs the cat.[(triple14)] The dog sees the cat.[(triple15)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat likes the dog.
("cat" "likes" "dog" "+")
triple5
The cat needs the dog.
("cat" "needs" "dog" "+")
triple6
The cat sees the dog.
("cat" "sees" "dog" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is red.
("dog" "is" "red" "+")
triple11
The dog is rough.
("dog" "is" "rough" "+")
triple12
The dog likes the cat.
("dog" "likes" "cat" "+")
triple13
((triple10) -> (rule1 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
triple14
The dog sees the cat.
("dog" "sees" "cat" "+")
triple15