The bear is not blue. The bear is green. The bear sees the squirrel. The cow is green. The cow likes the bear. The cow likes the squirrel. The cow needs the bear. The cow does not need the squirrel. The cow sees the bear. The cow sees the squirrel. The squirrel is not big. The squirrel is cold. The squirrel is kind. The squirrel needs the bear. The squirrel does not see the cow. If someone is kind and they like the bear then the bear is cold. If someone likes the cow then the cow is blue. If someone is big then they need the bear. If someone is blue and they need the squirrel then they are big. If someone is kind then they like the bear. If the cow is kind then the cow is cold. If the squirrel is green and the squirrel sees the bear then the squirrel sees the cow. If someone likes the squirrel and the squirrel is cold then the squirrel likes the cow.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is green.
("bear" "is" "green" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
If someone is kind and they like the bear then the bear is cold.
((("someone" "is" "kind" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone likes the cow then the cow is blue.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "blue" "+"))
If someone is big then they need the bear.
((("someone" "is" "big" "+")) -> ("someone" "needs" "bear" "+"))
If someone is blue and they need the squirrel then they are big.
((("someone" "is" "blue" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they like the bear.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bear" "+"))
If the cow is kind then the cow is cold.
((("cow" "is" "kind" "+")) -> ("cow" "is" "cold" "+"))
If the squirrel is green and the squirrel sees the bear then the squirrel sees the cow.
((("squirrel" "is" "green" "+") ("squirrel" "sees" "bear" "+")) -> ("squirrel" "sees" "cow" "+"))
If someone likes the squirrel and the squirrel is cold then the squirrel likes the cow.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "likes" "cow" "+"))
The cow likes the bear.
True
1
proof
[(triple5)]
("cow" "likes" "bear" "+")
triple5
The squirrel does not need the bear.
False
1
inv-proof
[(triple14)]
("squirrel" "needs" "bear" "-")
triple14
The squirrel likes the cow.
True
3
proof
[(((triple6 triple12) -> rule8))]
("squirrel" "likes" "cow" "+")
((triple6 triple12) -> (rule8 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel does not like the bear.
False
2
inv-proof
[(((triple13) -> rule5))]
("squirrel" "likes" "bear" "-")
((triple13) -> (rule5 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The bear is cold.
True
4
proof
[(((triple13 ((triple13) -> rule5)) -> rule1))]
("bear" "is" "cold" "+")
((triple13 ((triple13) -> (rule5 % int2))) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The cow is not blue.
False
4
inv-proof
[(((((triple6 triple12) -> rule8)) -> rule2))]
("cow" "is" "blue" "-")
((((triple6 triple12) -> (rule8 % int2))) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "cold" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "big" "+")
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "big" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bear does not see the cow.
Unknown
inv-random
[@0: The bear sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cow" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is green.[(triple2)] The bear is not blue.[(triple1)] The bear sees the squirrel.[(triple3)] The cow does not need the squirrel.[(triple8)] The cow is green.[(triple4)] The cow likes the bear.[(triple5)] The cow likes the squirrel.[(triple6)] The cow needs the bear.[(triple7)] The cow sees the bear.[(triple9)] The cow sees the squirrel.[(triple10)] The squirrel does not see the cow.[(triple15)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is not big.[(triple11)] The squirrel needs the bear.[(triple14)] @1: The squirrel likes the bear.[(((triple13) -> rule5))] The squirrel likes the cow.[(((triple6 triple12) -> rule8))] @2: The bear is cold.[(((triple13 ((triple13) -> rule5)) -> rule1))] The cow is blue.[(((((triple6 triple12) -> rule8)) -> rule2))]
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cow does not need the squirrel.
("cow" "needs" "squirrel" "-")
triple8
The cow is green.
("cow" "is" "green" "+")
triple4
The cow likes the bear.
("cow" "likes" "bear" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple9
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple10
The squirrel does not see the cow.
("squirrel" "sees" "cow" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is not big.
("squirrel" "is" "big" "-")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple13) -> (rule5 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple6 triple12) -> (rule8 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((triple13 ((triple13) -> (rule5 % int2))) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((((triple6 triple12) -> (rule8 % int2))) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2