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