The bear eats the squirrel. The bear is cold. The bear is green. The bear is young. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is young. The squirrel visits the bear. If someone chases the bear and they are nice then they eat the squirrel. If someone is green then they chase the bear. If someone visits the bear and the bear visits the squirrel then the squirrel is nice. If someone chases the squirrel then the squirrel is kind. If someone eats the squirrel then the squirrel is green. If someone visits the squirrel and the squirrel eats the bear then the bear chases the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone chases the bear and they are nice then they eat the squirrel.
((("someone" "chases" "bear" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is green then they chase the bear.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bear" "+"))
If someone visits the bear and the bear visits the squirrel then the squirrel is nice.
((("someone" "visits" "bear" "+") ("bear" "visits" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone chases the squirrel then the squirrel is kind.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone eats the squirrel then the squirrel is green.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone visits the squirrel and the squirrel eats the bear then the bear chases the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
The squirrel chases the bear.
True
1
proof
[(triple6 OR ((triple9) -> rule2) OR ((((triple1) -> rule5)) -> rule2))]
("squirrel" "chases" "bear" "+")
triple6
((triple9) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is not young.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "young" "-")
triple11
The squirrel eats the squirrel.
True
3
proof
[(((triple6 triple10) -> rule1) OR ((triple6 ((triple12 triple5) -> rule3)) -> rule1) OR ((((triple9) -> rule2) triple10) -> rule1) OR ((((triple9) -> rule2) ((triple12 triple5) -> rule3)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) triple10) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((triple12 triple5) -> rule3)) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple6 triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
((triple6 ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The bear does not chase the squirrel.
False
3
inv-proof
[(((triple5 triple7) -> rule6))]
("bear" "chases" "squirrel" "-")
((triple5 triple7) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel is kind.
True
4
proof
[(((((triple5 triple7) -> rule6)) -> rule4))]
("squirrel" "is" "kind" "+")
((((triple5 triple7) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The squirrel is not kind.
False
4
inv-proof
[(((((triple5 triple7) -> rule6)) -> rule4))]
("squirrel" "is" "kind" "-")
((((triple5 triple7) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear visits the squirrel.[(triple5)] The squirrel chases the bear.[(triple6 OR ((triple9) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] The squirrel eats the bear.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9 OR ((triple1) -> rule5) OR ((((triple6 triple10) -> rule1)) -> rule5) OR ((((triple6 ((triple12 triple5) -> rule3)) -> rule1)) -> rule5))] The squirrel is nice.[(triple10 OR ((triple12 triple5) -> rule3))] The squirrel is young.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear chases the bear.[(((triple3) -> rule2))] The bear chases the squirrel.[(((triple5 triple7) -> rule6))] The squirrel eats the squirrel.[(((triple6 triple10) -> rule1) OR ((triple6 ((triple12 triple5) -> rule3)) -> rule1) OR ((((triple9) -> rule2) triple10) -> rule1) OR ((((triple9) -> rule2) ((triple12 triple5) -> rule3)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) triple10) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((triple12 triple5) -> rule3)) -> rule1))] @2: The squirrel is kind.[(((((triple5 triple7) -> rule6)) -> rule4))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
((triple9) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
((triple1) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple6 triple10) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((triple6 ((triple12 triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
((triple12 triple5) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple5 triple7) -> (rule6 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple6 triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
((triple6 ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((triple12 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple5 triple7) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2