The rabbit chases the squirrel. The rabbit is big. The rabbit does not see the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is young. The squirrel sees the rabbit. If someone eats the rabbit then they are big.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone eats the rabbit then they are big.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "big" "+"))
The squirrel is young.
True
1
proof
[(triple6)]
("squirrel" "is" "young" "+")
triple6
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple5)]
("squirrel" "eats" "rabbit" "-")
triple5
The squirrel is big.
True
2
proof
[(((triple5) -> rule1))]
("squirrel" "is" "big" "+")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("squirrel" "is" "big" "-")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit does not see the squirrel.[(triple3)] The rabbit is big.[(triple2)] The squirrel chases the rabbit.[(triple4)] The squirrel eats the rabbit.[(triple5)] The squirrel is young.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The squirrel is big.[(((triple5) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
((triple5) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1