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