The bear eats the squirrel. The bear needs the cow. The bear sees the cow. The cow eats the bear. The cow eats the squirrel. The cow is cold. The cow is round. The cow sees the bear. The cow sees the squirrel. The squirrel is not big. The squirrel is rough. The squirrel needs the bear. If something eats the cow and the cow eats the squirrel then the cow is not rough. If the squirrel is round and the squirrel sees the bear then the squirrel is not cold. If something eats the bear and the bear needs the cow then it is cold. If something sees the squirrel then it does not see the cow. If something needs the squirrel then it eats the cow. If something eats the squirrel then the squirrel eats the cow. If the cow is red then the cow sees the squirrel. If something is round and it does not see the squirrel then the squirrel is rough.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
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 rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something eats the cow and the cow eats the squirrel then the cow is not rough.
((("something" "eats" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "is" "rough" "-"))
If the squirrel is round and the squirrel sees the bear then the squirrel is not cold.
((("squirrel" "is" "round" "+") ("squirrel" "sees" "bear" "+")) -> ("squirrel" "is" "cold" "-"))
If something eats the bear and the bear needs the cow then it is cold.
((("something" "eats" "bear" "+") ("bear" "needs" "cow" "+")) -> ("something" "is" "cold" "+"))
If something sees the squirrel then it does not see the cow.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "cow" "-"))
If something needs the squirrel then it eats the cow.
((("something" "needs" "squirrel" "+")) -> ("something" "eats" "cow" "+"))
If something eats the squirrel then the squirrel eats the cow.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If the cow is red then the cow sees the squirrel.
((("cow" "is" "red" "+")) -> ("cow" "sees" "squirrel" "+"))
If something is round and it does not see the squirrel then the squirrel is rough.
((("something" "is" "round" "+") ("something" "sees" "squirrel" "~")) -> ("squirrel" "is" "rough" "+"))
The cow is round.
True
1
proof
[(triple7)]
("cow" "is" "round" "+")
triple7
The squirrel does not need the bear.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "bear" "-")
triple12
The cow does not see the cow.
True
2
proof
[(((triple9) -> rule4))]
("cow" "sees" "cow" "-")
((triple9) -> (rule4 % int1))
The cow does not see the cow.
("cow" "sees" "cow" "-")
int1
The squirrel does not eat the cow.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple5) -> rule6))]
("squirrel" "eats" "cow" "-")
((triple1) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
((triple5) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow is not rough.
True
4
proof
[(((((triple1) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule6) triple5) -> rule1))]
("cow" "is" "rough" "-")
((((triple1) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The cow is rough.
False
4
inv-proof
[(((((triple1) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule6) triple5) -> rule1))]
("cow" "is" "rough" "+")
((((triple1) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "+")
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "cow" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear eats the squirrel.[(triple1)] The bear needs the cow.[(triple2)] The bear sees the cow.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is cold.[(triple6 OR ((triple4 triple2) -> rule3))] The cow is round.[(triple7)] The cow sees the bear.[(triple8)] The cow sees the squirrel.[(triple9)] The squirrel is not big.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The cow does not see the cow.[(((triple9) -> rule4))] The squirrel eats the cow.[(((triple1) -> rule6) OR ((triple5) -> rule6))] @2: The cow is not rough.[(((((triple1) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule6) triple5) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The bear sees the cow.
("bear" "sees" "cow" "+")
triple3
The cow eats the bear.
("cow" "eats" "bear" "+")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow is cold.
("cow" "is" "cold" "+")
triple6
((triple4 triple2) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple9
The squirrel is not big.
("squirrel" "is" "big" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The cow does not see the cow.
("cow" "sees" "cow" "-")
((triple9) -> (rule4 % int1))
The cow does not see the cow.
("cow" "sees" "cow" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple1) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
((triple5) -> (rule6 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow is not rough.
("cow" "is" "rough" "-")
((((triple1) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2