The bear needs the squirrel. The squirrel chases the bear. The squirrel needs the bear. If someone needs the bear and they chase the bear then the bear chases the squirrel. If someone chases the squirrel and they need the squirrel then they need the bear. If someone needs the squirrel then the squirrel is kind.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone needs the bear and they chase the bear then the bear chases the squirrel.
((("someone" "needs" "bear" "+") ("someone" "chases" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone chases the squirrel and they need the squirrel then they need the bear.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the squirrel then the squirrel is kind.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
The squirrel chases the bear.
True
1
proof
[(triple2)]
("squirrel" "chases" "bear" "+")
triple2
The squirrel does not chase the bear.
False
1
inv-proof
[(triple2)]
("squirrel" "chases" "bear" "-")
triple2
The squirrel is kind.
True
2
proof
[(((triple1) -> rule3))]
("squirrel" "is" "kind" "+")
((triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple1) -> rule3))]
("squirrel" "is" "kind" "-")
((triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear needs the bear.
True
5
proof
[(((((triple3 triple2) -> rule1) triple1) -> rule2))]
("bear" "needs" "bear" "+")
((((triple3 triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear does not need the bear.
False
5
inv-proof
[(((((triple3 triple2) -> rule1) triple1) -> rule2))]
("bear" "needs" "bear" "-")
((((triple3 triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The squirrel visits the bear.
Unknown
random
[@0: The squirrel visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bear" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The bear needs the squirrel.[(triple1)] The squirrel chases the bear.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear chases the squirrel.[(((triple3 triple2) -> rule1))] The squirrel is kind.[(((triple1) -> rule3))] @2: The bear needs the bear.[(((((triple3 triple2) -> rule1) triple1) -> rule2))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple3 triple2) -> (rule1 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple1) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple3 triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2