The cat chases the mouse. The cat is cold. The cat is round. The mouse chases the squirrel. The mouse is rough. The mouse visits the cat. The rabbit chases the cat. The rabbit is cold. The rabbit is kind. The rabbit likes the cat. The rabbit likes the squirrel. The rabbit visits the cat. The squirrel is red. The squirrel is rough. The squirrel likes the cat. The squirrel visits the rabbit. If the cat is red then the cat visits the rabbit. If someone likes the rabbit then they are round. If someone is round then they visit the squirrel. If someone chases the squirrel then they like the rabbit. If someone likes the squirrel then they chase the rabbit. If someone is kind and they like the cat then the cat likes the squirrel.
The cat does not visit the squirrel.
@0: The cat chases the mouse.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is rough.[(triple5)] The mouse visits the cat.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the squirrel.[(triple11)] The rabbit visits the cat.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The cat likes the squirrel.[(((triple9 triple10) -> rule6))] The cat visits the squirrel.[(((triple3) -> rule3))] The mouse likes the rabbit.[(((triple4) -> rule4))] The rabbit chases the rabbit.[(((triple11) -> rule5))] @2: The cat chases the rabbit.[(((((triple9 triple10) -> rule6)) -> rule5))] The mouse is round.[(((((triple4) -> rule4)) -> rule2))] @3: The mouse visits the squirrel.[(((((((triple4) -> rule4)) -> rule2)) -> rule3))]