The bear chases the cat. The bear chases the dog. The bear is cold. The cat chases the dog. The cat is green. The cat likes the bear. The cat needs the dog. The dog is blue. The dog is young. The dog likes the bear. The dog likes the cat. The dog needs the cat. If someone is young then they like the dog. If someone likes the dog and they need the cat then the dog is cold.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If someone is young then they like the dog.
((("someone" "is" "young" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the dog and they need the cat then the dog is cold.
((("someone" "likes" "dog" "+") ("someone" "needs" "cat" "+")) -> ("dog" "is" "cold" "+"))
The cat needs the dog.
True
1
proof
[(triple7)]
("cat" "needs" "dog" "+")
triple7
The cat does not need the dog.
False
1
inv-proof
[(triple7)]
("cat" "needs" "dog" "-")
triple7
The dog likes the dog.
True
2
proof
[(((triple9) -> rule1))]
("dog" "likes" "dog" "+")
((triple9) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple9) -> rule1))]
("dog" "likes" "dog" "-")
((triple9) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is cold.
True
4
proof
[(((((triple9) -> rule1) triple12) -> rule2))]
("dog" "is" "cold" "+")
((((triple9) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog is not cold.
False
4
inv-proof
[(((((triple9) -> rule1) triple12) -> rule2))]
("dog" "is" "cold" "-")
((((triple9) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "dog" "-")
The cat likes the dog.
Unknown
rconc
[@1: The cat likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "dog" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
The dog does not chase the cat.
Unknown
inv-random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the dog.[(triple2)] The bear is cold.[(triple3)] The cat chases the dog.[(triple4)] The cat is green.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the dog.[(triple7)] The dog is blue.[(triple8)] The dog is young.[(triple9)] The dog likes the bear.[(triple10)] The dog likes the cat.[(triple11)] The dog needs the cat.[(triple12)] @1: The dog likes the dog.[(((triple9) -> rule1))] @2: The dog is cold.[(((((triple9) -> rule1) triple12) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the dog.
("bear" "chases" "dog" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat needs the dog.
("cat" "needs" "dog" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog likes the cat.
("dog" "likes" "cat" "+")
triple11
The dog needs the cat.
("dog" "needs" "cat" "+")
triple12
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple9) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple9) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2