The bear chases the squirrel. The bear is kind. The bear is young. The bear needs the cat. The cat does not chase the squirrel. The cat is green. The cat is kind. The cat is round. The cat needs the rabbit. The cat does not need the squirrel. The rabbit chases the bear. The rabbit does not need the cat. The squirrel chases the bear. The squirrel does not eat the bear. The squirrel is big. The squirrel needs the cat. Green things are young. If something is green and it needs the bear then the bear does not need the cat. If something chases the squirrel and the squirrel needs the bear then the squirrel chases the rabbit. If the rabbit is kind and the rabbit is green then the rabbit chases the squirrel. If the bear needs the cat then the cat is big. If something is green and it does not need the squirrel then it eats the bear. If the rabbit eats the squirrel and the squirrel is round then the squirrel does not chase the cat. If the rabbit needs the cat then the cat needs the rabbit.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is green and it needs the bear then the bear does not need the cat.
((("something" "is" "green" "+") ("something" "needs" "bear" "+")) -> ("bear" "needs" "cat" "-"))
If something chases the squirrel and the squirrel needs the bear then the squirrel chases the rabbit.
((("something" "chases" "squirrel" "+") ("squirrel" "needs" "bear" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If the rabbit is kind and the rabbit is green then the rabbit chases the squirrel.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If the bear needs the cat then the cat is big.
((("bear" "needs" "cat" "+")) -> ("cat" "is" "big" "+"))
If something is green and it does not need the squirrel then it eats the bear.
((("something" "is" "green" "+") ("something" "needs" "squirrel" "~")) -> ("something" "eats" "bear" "+"))
If the rabbit eats the squirrel and the squirrel is round then the squirrel does not chase the cat.
((("rabbit" "eats" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "chases" "cat" "-"))
If the rabbit needs the cat then the cat needs the rabbit.
((("rabbit" "needs" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
The bear is kind.
True
1
proof
[(triple2)]
("bear" "is" "kind" "+")
triple2
The bear does not need the cat.
False
1
inv-proof
[(triple4)]
("bear" "needs" "cat" "-")
triple4
The cat eats the bear.
True
3
proof
[(((triple6 triple10) -> rule6))]
("cat" "eats" "bear" "+")
((triple6 triple10) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat does not eat the bear.
False
3
inv-proof
[(((triple6 triple10) -> rule6))]
("cat" "eats" "bear" "-")
((triple6 triple10) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The squirrel does not chase the rabbit.
Unknown
inv-rconc
[@1: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "rabbit" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is young.[(triple3)] The bear needs the cat.[(triple4)] The cat does not chase the squirrel.[(triple5)] The cat does not need the squirrel.[(triple10)] The cat is green.[(triple6)] The cat is kind.[(triple7)] The cat is round.[(triple8)] The cat needs the rabbit.[(triple9)] The rabbit chases the bear.[(triple11)] The rabbit does not need the cat.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel does not eat the bear.[(triple14)] The squirrel is big.[(triple15)] The squirrel needs the cat.[(triple16)] @1: The cat eats the bear.[(((triple6 triple10) -> rule6))] The cat is big.[(((triple4) -> rule5))] The cat is young.[(((triple6) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple5
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
triple10
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple11
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple12
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple13
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple14
The squirrel is big.
("squirrel" "is" "big" "+")
triple15
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple16
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple6 triple10) -> (rule6 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((triple4) -> (rule5 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple6) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1