The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is rough. The bald eagle sees the rabbit. The cat is blue. The cat is young. The cat sees the bald eagle. The rabbit chases the cat. The rabbit eats the tiger. The rabbit is rough. The tiger is blue. The tiger is cold. The tiger is young. The tiger sees the bald eagle. If someone eats the rabbit then they see the tiger. If someone is cold then they see the tiger. If the bald eagle sees the rabbit and the bald eagle sees the tiger then the bald eagle eats the tiger. If someone sees the tiger then the tiger eats the rabbit. If someone sees the rabbit and they eat the tiger then the tiger is rough. If someone eats the bald eagle then the bald eagle is young.
The cat is rough.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The cat is blue.[(triple7)] The cat is young.[(triple8)] The cat sees the bald eagle.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit eats the tiger.[(triple11)] The rabbit is rough.[(triple12)] The tiger is blue.[(triple13)] The tiger is cold.[(triple14)] The tiger is young.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The bald eagle sees the tiger.[(((triple1) -> rule1) OR ((triple3) -> rule2))] The tiger sees the tiger.[(((triple14) -> rule2) OR ((((((triple1) -> rule1)) -> rule4)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1))] @2: The bald eagle eats the tiger.[(((triple6 ((triple1) -> rule1)) -> rule3) OR ((triple6 ((triple3) -> rule2)) -> rule3))] The tiger eats the rabbit.[(((((triple1) -> rule1)) -> rule4) OR ((((triple14) -> rule2)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] @3: The tiger is rough.[(((triple6 ((triple6 ((triple1) -> rule1)) -> rule3)) -> rule5) OR ((triple6 ((triple6 ((triple3) -> rule2)) -> rule3)) -> rule5))]