The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel likes the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If the squirrel likes the rabbit and the rabbit sees the squirrel then the squirrel is blue.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the squirrel likes the rabbit and the rabbit sees the squirrel then the squirrel is blue.
((("squirrel" "likes" "rabbit" "+") ("rabbit" "sees" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel sees the rabbit.
True
1
proof
[(triple14)]
("squirrel" "sees" "rabbit" "+")
triple14
The rabbit is not big.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "big" "-")
triple1
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
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 is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit sees the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9 OR ((triple13 triple6) -> rule1))] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple5
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
((triple13 triple6) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple13
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15