The cat is not cold. The cat is young. The dog is red. The dog does not like the squirrel. The dog sees the squirrel. The rabbit is red. The rabbit likes the cat. The rabbit likes the squirrel. The rabbit does not see the cat. The squirrel is kind. The squirrel does not see the cat. The squirrel sees the dog. If someone visits the rabbit and the rabbit is cold then they like the squirrel. If the cat is blue then the cat does not see the rabbit. If someone visits the cat and the cat is not red then the cat does not visit the rabbit. If the squirrel visits the cat then the cat sees the squirrel. If someone likes the rabbit and they like the dog then they see the cat. If someone likes the squirrel then they are young.
The dog likes the squirrel.
@0: The cat is not cold.[(triple1)] The cat is young.[(triple2)] The dog does not like the squirrel.[(triple4)] The dog is red.[(triple3)] The dog sees the squirrel.[(triple5)] The rabbit does not see the cat.[(triple9)] The rabbit is red.[(triple6)] The rabbit likes the cat.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel does not see the cat.[(triple11)] The squirrel is kind.[(triple10)] The squirrel sees the dog.[(triple12)] @1: The rabbit is young.[(((triple8) -> rule6))]