The rabbit eats the squirrel. The rabbit is not big. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is not rough. The squirrel sees the rabbit. The squirrel visits the rabbit. If something visits the squirrel and it sees the squirrel then it visits the rabbit.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something visits the squirrel and it sees the squirrel then it visits the rabbit.
((("something" "visits" "squirrel" "+") ("something" "sees" "squirrel" "+")) -> ("something" "visits" "rabbit" "+"))
The squirrel is nice.
True
1
proof
[(triple12)]
("squirrel" "is" "nice" "+")
triple12
The rabbit is not nice.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "nice" "-")
triple4
The rabbit visits the rabbit.
True
3
proof
[(((triple7 triple6) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple7 triple6) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple7 triple6) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is not big.[(triple2)] The rabbit is rough.[(triple5)] The rabbit sees the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not rough.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The rabbit visits the rabbit.[(((triple7 triple6) -> rule1))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is not big.
("rabbit" "is" "big" "-")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple13
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple7 triple6) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1