The bald eagle chases the tiger. The bald eagle likes the cat. The bald eagle sees the rabbit. The cat chases the rabbit. The cat sees the rabbit. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is big. The rabbit is nice. The rabbit likes the cat. The rabbit likes the tiger. The rabbit sees the cat. The rabbit sees the tiger. The tiger chases the cat. The tiger likes the bald eagle. The tiger sees the cat. If someone likes the bald eagle then the bald eagle is cold. If the bald eagle chases the tiger and the tiger likes the cat then the bald eagle chases the cat. If someone chases the tiger and they see the tiger then the tiger likes the cat. If someone chases the cat and the cat sees the bald eagle then the bald eagle likes the tiger. If someone chases the rabbit then the rabbit sees the bald eagle. If someone chases the tiger and they chase the cat then the cat is rough. If someone likes the cat then they like the rabbit. If someone chases the tiger then the tiger likes the cat.
The rabbit likes the rabbit.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cat chases the rabbit.[(triple4)] The cat sees the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the tiger.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit sees the tiger.[(triple13)] The tiger chases the cat.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bald eagle is cold.[(((triple15) -> rule1))] The bald eagle likes the rabbit.[(((triple2) -> rule7))] The rabbit likes the rabbit.[(((triple10) -> rule7))] The rabbit sees the bald eagle.[(((triple4) -> rule5))] The tiger likes the cat.[(((triple1) -> rule8) OR ((triple7) -> rule8) OR ((triple7 triple13) -> rule3))] @2: The bald eagle chases the cat.[(((triple1 ((triple1) -> rule8)) -> rule2) OR ((triple1 ((triple7) -> rule8)) -> rule2) OR ((triple1 ((triple7 triple13) -> rule3)) -> rule2))] The tiger likes the rabbit.[(((((triple1) -> rule8)) -> rule7) OR ((((triple7) -> rule8)) -> rule7) OR ((((triple7 triple13) -> rule3)) -> rule7))] @3: The cat is rough.[(((triple1 ((triple1 ((triple1) -> rule8)) -> rule2)) -> rule6) OR ((triple1 ((triple1 ((triple7) -> rule8)) -> rule2)) -> rule6) OR ((triple1 ((triple1 ((triple7 triple13) -> rule3)) -> rule2)) -> rule6))]