The bear visits the squirrel. The cat does not eat the squirrel. The rabbit is kind. The squirrel eats the bear. The squirrel is not cold. The squirrel is kind. The squirrel visits the rabbit. If the rabbit is kind then the rabbit is green.
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the rabbit is kind then the rabbit is green.
((("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "green" "+"))
The rabbit is kind.
True
1
proof
[(triple3)]
("rabbit" "is" "kind" "+")
triple3
The squirrel does not eat the bear.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "bear" "-")
triple4
The rabbit is green.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "+")
((triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "-")
((triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not visit the cat.
Unknown
inv-random
[@0: The rabbit visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cat" "-")
The bear sees the squirrel.
Unknown
random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bear visits the squirrel.[(triple1)] The cat does not eat the squirrel.[(triple2)] The rabbit is kind.[(triple3)] The squirrel eats the bear.[(triple4)] The squirrel is kind.[(triple6)] The squirrel is not cold.[(triple5)] The squirrel visits the rabbit.[(triple7)] @1: The rabbit is green.[(((triple3) -> rule1))]
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple1
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple5
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
((triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1