The bear chases the cow. The bear chases the dog. The bear is cold. The cow is red. The cow likes the dog. The cow needs the dog. The dog is blue. The dog is cold. The dog is nice. The dog needs the bear. If someone likes the cow then the cow chases the dog. If someone chases the dog and they are cold then they chase the cow. If someone is red and cold then they chase the cow. If someone is nice then they like the bear. If the dog needs the bear then the dog likes the cow. If the cow needs the dog and the cow is rough then the cow chases the bear. If someone is blue and cold then they need the dog. If someone is nice then they like the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone likes the cow then the cow chases the dog.
((("someone" "likes" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If someone chases the dog and they are cold then they chase the cow.
((("someone" "chases" "dog" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
If someone is red and cold then they chase the cow.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
If someone is nice then they like the bear.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
If the dog needs the bear then the dog likes the cow.
((("dog" "needs" "bear" "+")) -> ("dog" "likes" "cow" "+"))
If the cow needs the dog and the cow is rough then the cow chases the bear.
((("cow" "needs" "dog" "+") ("cow" "is" "rough" "+")) -> ("cow" "chases" "bear" "+"))
If someone is blue and cold then they need the dog.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "needs" "dog" "+"))
If someone is nice then they like the bear.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
The bear chases the cow.
True
1
proof
[(triple1 OR ((triple2 triple3) -> rule2))]
("bear" "chases" "cow" "+")
triple1
((triple2 triple3) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The cow is not red.
False
1
inv-proof
[(triple4)]
("cow" "is" "red" "-")
triple4
The dog needs the dog.
True
3
proof
[(((triple7 triple8) -> rule7))]
("dog" "needs" "dog" "+")
((triple7 triple8) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not like the bear.
False
2
inv-proof
[(((triple9) -> rule4) OR ((triple9) -> rule8))]
("dog" "likes" "bear" "-")
((triple9) -> (rule4 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((triple9) -> (rule8 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The cow chases the dog.
True
3
proof
[(((((triple10) -> rule5)) -> rule1))]
("cow" "chases" "dog" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
int2
The cow does not chase the dog.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule1))]
("cow" "chases" "dog" "-")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
int2
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "dog" "-")
The cow chases the bear.
Unknown
rconc
[@1: The cow chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "bear" "+")
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "bear" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear chases the cow.[(triple1 OR ((triple2 triple3) -> rule2))] The bear chases the dog.[(triple2)] The bear is cold.[(triple3)] The cow is red.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the dog.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is nice.[(triple9)] The dog needs the bear.[(triple10)] @1: The dog likes the bear.[(((triple9) -> rule4) OR ((triple9) -> rule8))] The dog likes the cow.[(((triple10) -> rule5))] The dog needs the dog.[(((triple7 triple8) -> rule7))] @2: The cow chases the dog.[(((((triple10) -> rule5)) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
((triple2 triple3) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple9) -> (rule4 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((triple9) -> (rule8 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple10) -> (rule5 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple7 triple8) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
int2