The rabbit chases the squirrel. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit does not like the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel does not like the rabbit. The squirrel visits the rabbit. If someone chases the rabbit and they are not blue then they like the squirrel. If someone is big and nice then they like the squirrel. If someone visits the rabbit and they are cold then they like the squirrel. If someone chases the squirrel and they are cold then the squirrel chases the rabbit. If someone chases the squirrel and they do not like the rabbit then they are big. If the rabbit visits the squirrel and the rabbit likes the squirrel then the rabbit chases the squirrel.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone chases the rabbit and they are not blue then they like the squirrel.
((("someone" "chases" "rabbit" "+") ("someone" "is" "blue" "~")) -> ("someone" "likes" "squirrel" "+"))
If someone is big and nice then they like the squirrel.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone visits the rabbit and they are cold then they like the squirrel.
((("someone" "visits" "rabbit" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the squirrel and they are cold then the squirrel chases the rabbit.
((("someone" "chases" "squirrel" "+") ("someone" "is" "cold" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If someone chases the squirrel and they do not like the rabbit then they are big.
((("someone" "chases" "squirrel" "+") ("someone" "likes" "rabbit" "~")) -> ("someone" "is" "big" "+"))
If the rabbit visits the squirrel and the rabbit likes the squirrel then the rabbit chases the squirrel.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "likes" "squirrel" "+")) -> ("rabbit" "chases" "squirrel" "+"))
The rabbit is kind.
True
1
proof
[(triple5)]
("rabbit" "is" "kind" "+")
triple5
The rabbit does not visit the squirrel.
False
1
inv-proof
[(triple8)]
("rabbit" "visits" "squirrel" "-")
triple8
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit does not like the squirrel.[(triple7)] The rabbit is big.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is not nice.[(triple6)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9 OR ((triple1 triple4) -> rule4))] The squirrel does not like the rabbit.[(triple15)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple14)] The squirrel is not kind.[(triple13)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel likes the squirrel.[(((triple10 triple14) -> rule2) OR ((triple16 triple12) -> rule3))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
((triple1 triple4) -> (rule4 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple15
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple10 triple14) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((triple16 triple12) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1