The cat chases the rabbit. The cat is not big. The cat is blue. The cat is not cold. The cat is not red. The cat is not rough. The cat does not like the rabbit. The cat does not see the rabbit. The rabbit does not chase the cat. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit does not like the cat. The rabbit sees the cat. If someone is red then they like the rabbit. If someone is blue and not big then they do not like the cat. If someone likes the rabbit and they are cold then they see the rabbit.
The cat sees the cat.
@0: The cat chases the rabbit.[(triple1)] The cat does not like the rabbit.[(triple7)] The cat does not see the rabbit.[(triple8)] The cat is blue.[(triple3)] The cat is not big.[(triple2)] The cat is not cold.[(triple4)] The cat is not red.[(triple5)] The cat is not rough.[(triple6)] The rabbit does not chase the cat.[(triple9)] The rabbit does not like the cat.[(triple15)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the cat.[(triple16)] @1: The cat does not like the cat.[(((triple3 triple2) -> rule2))] The rabbit likes the rabbit.[(((triple13) -> rule1))] @2: The rabbit sees the rabbit.[(((((triple13) -> rule1) triple12) -> rule3))]