The bear chases the cat. The bear is big. The bear is green. The bear is not young. The bear likes the rabbit. The cat is big. The rabbit does not chase the squirrel. The rabbit eats the bear. The rabbit does not eat the cat. The rabbit is big. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the bear. The squirrel is young. The squirrel does not like the cat. If someone chases the squirrel and the squirrel is round then they do not like the cat. If someone chases the rabbit then they like the cat. If someone chases the bear and the bear chases the cat then they do not like the cat. If someone is big and they eat the rabbit then they eat the squirrel. If someone is young then they like the squirrel. If the rabbit chases the cat then the cat is not young. If someone eats the rabbit and they are round then they chase the squirrel. If someone eats the rabbit then they do not chase the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
If someone chases the squirrel and the squirrel is round then they do not like the cat.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("someone" "likes" "cat" "-"))
If someone chases the rabbit then they like the cat.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the bear and the bear chases the cat then they do not like the cat.
((("someone" "chases" "bear" "+") ("bear" "chases" "cat" "+")) -> ("someone" "likes" "cat" "-"))
If someone is big and they eat the rabbit then they eat the squirrel.
((("someone" "is" "big" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is young then they like the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit chases the cat then the cat is not young.
((("rabbit" "chases" "cat" "+")) -> ("cat" "is" "young" "-"))
If someone eats the rabbit and they are round then they chase the squirrel.
((("someone" "eats" "rabbit" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone eats the rabbit then they do not chase the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "bear" "-"))
The cat is big.
True
1
proof
[(triple6)]
("cat" "is" "big" "+")
triple6
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The squirrel likes the squirrel.
True
2
proof
[(((triple15) -> rule5))]
("squirrel" "likes" "squirrel" "+")
((triple15) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The rabbit does not like the squirrel.
False
2
inv-proof
[(((triple13) -> rule5))]
("rabbit" "likes" "squirrel" "-")
((triple13) -> (rule5 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The bear does not chase the squirrel.
Unknown
inv-rconc
[@1: The bear chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "squirrel" "-")
The bear likes the squirrel.
Unknown
rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "squirrel" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The cat eats the rabbit.
Unknown
random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is not young.[(triple4)] The bear likes the rabbit.[(triple5)] The cat is big.[(triple6)] The rabbit does not chase the squirrel.[(triple7)] The rabbit does not eat the cat.[(triple9)] The rabbit eats the bear.[(triple8)] The rabbit is big.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The squirrel does not like the cat.[(triple16)] The squirrel is young.[(triple15)] @1: The rabbit likes the squirrel.[(((triple13) -> rule5))] The squirrel likes the squirrel.[(((triple15) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple7
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple16
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple13) -> (rule5 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple15) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1