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