The bear chases the dog. The bear is big. The bear is blue. The bear is green. The bear is not nice. The bear is young. The bear likes the dog. The bear needs the dog. The dog chases the bear. The dog is big. The dog is not blue. The dog is green. The dog is nice. The dog is young. The dog likes the bear. The dog needs the bear. If something is nice and young then it likes the dog. If the bear is young and the bear needs the dog then the bear is green. If something is green and it needs the dog then it chases the bear. If something is nice then it likes the bear. If something chases the dog then the dog likes the bear. If the dog needs the bear then the dog likes the bear. If something likes the bear and it does not chase the bear then the bear chases the dog. If the bear needs the dog then the bear chases the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something is nice and young then it likes the dog.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "likes" "dog" "+"))
If the bear is young and the bear needs the dog then the bear is green.
((("bear" "is" "young" "+") ("bear" "needs" "dog" "+")) -> ("bear" "is" "green" "+"))
If something is green and it needs the dog then it chases the bear.
((("something" "is" "green" "+") ("something" "needs" "dog" "+")) -> ("something" "chases" "bear" "+"))
If something is nice then it likes the bear.
((("something" "is" "nice" "+")) -> ("something" "likes" "bear" "+"))
If something chases the dog then the dog likes the bear.
((("something" "chases" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If the dog needs the bear then the dog likes the bear.
((("dog" "needs" "bear" "+")) -> ("dog" "likes" "bear" "+"))
If something likes the bear and it does not chase the bear then the bear chases the dog.
((("something" "likes" "bear" "+") ("something" "chases" "bear" "~")) -> ("bear" "chases" "dog" "+"))
If the bear needs the dog then the bear chases the dog.
((("bear" "needs" "dog" "+")) -> ("bear" "chases" "dog" "+"))
The dog is not blue.
True
1
proof
[(triple11)]
("dog" "is" "blue" "-")
triple11
The dog is not green.
False
1
inv-proof
[(triple12)]
("dog" "is" "green" "-")
triple12
The bear chases the bear.
True
3
proof
[(((triple4 triple8) -> rule3) OR ((((triple6 triple8) -> rule2) triple8) -> rule3))]
("bear" "chases" "bear" "+")
((triple4 triple8) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple6 triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog does not like the dog.
False
3
inv-proof
[(((triple13 triple14) -> rule1))]
("dog" "likes" "dog" "-")
((triple13 triple14) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
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 bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear chases the dog.[(triple1 OR ((triple8) -> rule8))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4 OR ((triple6 triple8) -> rule2))] The bear is not nice.[(triple5)] The bear is young.[(triple6)] The bear likes the dog.[(triple7)] The bear needs the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog is big.[(triple10)] The dog is green.[(triple12)] The dog is nice.[(triple13)] The dog is not blue.[(triple11)] The dog is young.[(triple14)] The dog likes the bear.[(triple15 OR ((triple1) -> rule5) OR ((triple13) -> rule4) OR ((triple16) -> rule6) OR ((((triple8) -> rule8)) -> rule5))] The dog needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple4 triple8) -> rule3) OR ((((triple6 triple8) -> rule2) triple8) -> rule3))] The dog likes the dog.[(((triple13 triple14) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
((triple8) -> (rule8 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
((triple6 triple8) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not nice.
("bear" "is" "nice" "-")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the dog.
("bear" "likes" "dog" "+")
triple7
The bear needs the dog.
("bear" "needs" "dog" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
triple13
The dog is not blue.
("dog" "is" "blue" "-")
triple11
The dog is young.
("dog" "is" "young" "+")
triple14
The dog likes the bear.
("dog" "likes" "bear" "+")
triple15
((triple1) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((triple13) -> (rule4 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((triple16) -> (rule6 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple8) -> (rule8 % int2))) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple4 triple8) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple6 triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple13 triple14) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1