The bear chases the dog. The bear is green. The bear is rough. The bear is round. The bear likes the dog. The dog chases the bear. The dog eats the bear. The dog is green. The dog is rough. The dog likes the bear. If the dog is green then the dog chases the bear. If someone is cold and they eat the bear then the bear is cold. If someone chases the bear then they are not cold. If someone is round and they do not eat the bear then they chase the dog. If someone is green and they like the bear then they like the dog. If someone eats the dog and the dog eats the bear then they are rough.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If the dog is green then the dog chases the bear.
((("dog" "is" "green" "+")) -> ("dog" "chases" "bear" "+"))
If someone is cold and they eat the bear then the bear is cold.
((("someone" "is" "cold" "+") ("someone" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone chases the bear then they are not cold.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "cold" "-"))
If someone is round and they do not eat the bear then they chase the dog.
((("someone" "is" "round" "+") ("someone" "eats" "bear" "~")) -> ("someone" "chases" "dog" "+"))
If someone is green and they like the bear then they like the dog.
((("someone" "is" "green" "+") ("someone" "likes" "bear" "+")) -> ("someone" "likes" "dog" "+"))
If someone eats the dog and the dog eats the bear then they are rough.
((("someone" "eats" "dog" "+") ("dog" "eats" "bear" "+")) -> ("someone" "is" "rough" "+"))
The bear likes the dog.
True
1
proof
[(triple5)]
("bear" "likes" "dog" "+")
triple5
The dog does not chase the bear.
False
1
inv-proof
[(triple6 OR ((triple8) -> rule1))]
("dog" "chases" "bear" "-")
triple6
((triple8) -> (rule1 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear chases the dog.[(triple1)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The dog chases the bear.[(triple6 OR ((triple8) -> rule1))] The dog eats the bear.[(triple7)] The dog is green.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] @1: The dog is not cold.[(((triple6) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] The dog likes the dog.[(((triple8 triple10) -> rule5))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
((triple8) -> (rule1 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog is not cold.
("dog" "is" "cold" "-")
((triple6) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple8 triple10) -> (rule5 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1