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