The bear chases the rabbit. The bear is green. The bear likes the dog. The dog chases the bear. The dog likes the bear. The dog likes the rabbit. The dog needs the rabbit. The rabbit chases the dog. The rabbit is cold. The squirrel chases the dog. The squirrel is green. The squirrel is young. The squirrel likes the dog. The squirrel likes the rabbit. The squirrel needs the bear. The squirrel needs the dog. If something needs the dog then the dog likes the squirrel. If something chases the dog then the dog likes the squirrel. If something chases the squirrel then it is young. If something likes the bear then it likes the rabbit. If something likes the dog and it needs the dog then it likes the bear. If something is young and it chases the bear then it likes the bear.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something needs the dog then the dog likes the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If something chases the dog then the dog likes the squirrel.
((("something" "chases" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If something chases the squirrel then it is young.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something likes the bear then it likes the rabbit.
((("something" "likes" "bear" "+")) -> ("something" "likes" "rabbit" "+"))
If something likes the dog and it needs the dog then it likes the bear.
((("something" "likes" "dog" "+") ("something" "needs" "dog" "+")) -> ("something" "likes" "bear" "+"))
If something is young and it chases the bear then it likes the bear.
((("something" "is" "young" "+") ("something" "chases" "bear" "+")) -> ("something" "likes" "bear" "+"))
The squirrel chases the dog.
True
1
proof
[(triple10)]
("squirrel" "chases" "dog" "+")
triple10
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple14 OR ((((triple13 triple16) -> rule5)) -> rule4))]
("squirrel" "likes" "rabbit" "-")
triple14
((((triple13 triple16) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The dog likes the squirrel.
True
2
proof
[(((triple10) -> rule2) OR ((triple16) -> rule1) OR ((triple8) -> rule2))]
("dog" "likes" "squirrel" "+")
((triple10) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple16) -> (rule1 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple8) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple16) -> rule1) OR ((triple8) -> rule2))]
("dog" "likes" "squirrel" "-")
((triple10) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple16) -> (rule1 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple8) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "young" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "young" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear likes the dog.[(triple3)] The dog chases the bear.[(triple4)] The dog likes the bear.[(triple5)] The dog likes the rabbit.[(triple6 OR ((triple5) -> rule4))] The dog needs the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is cold.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel is green.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((((triple13 triple16) -> rule5)) -> rule4))] The squirrel needs the bear.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The dog likes the squirrel.[(((triple10) -> rule2) OR ((triple16) -> rule1) OR ((triple8) -> rule2))] The squirrel likes the bear.[(((triple13 triple16) -> rule5))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog likes the bear.
("dog" "likes" "bear" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
((triple5) -> (rule4 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
((((triple13 triple16) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple16
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple10) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple16) -> (rule1 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
((triple8) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple13 triple16) -> (rule5 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1