The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle is rough. The bald eagle is young. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The cat is big. The cat is cold. The cat sees the rabbit. The cat visits the bald eagle. The rabbit is rough. The rabbit sees the bald eagle. The rabbit sees the cat. The rabbit visits the bald eagle. The rabbit visits the cat. If someone is cold then they see the cat. If someone visits the rabbit and the rabbit chases the bald eagle then they visit the cat. If someone sees the cat and the cat is young then the cat chases the bald eagle.
The rabbit is cold.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The cat is big.[(triple8)] The cat is cold.[(triple9)] The cat sees the rabbit.[(triple10)] The cat visits the bald eagle.[(triple11)] The rabbit is rough.[(triple12)] The rabbit sees the bald eagle.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bald eagle sees the cat.[(((triple3) -> rule1))] The cat sees the cat.[(((triple9) -> rule1))]