The bald eagle chases the lion. The bald eagle is green. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the lion. The cat chases the bald eagle. The cat is nice. The cat is young. The cat likes the bald eagle. The cat likes the lion. The lion chases the bald eagle. The lion needs the cat. If someone likes the cat and the cat is nice then the cat is green. If someone likes the lion then they chase the cat. If someone needs the lion and they chase the bald eagle then the bald eagle is rough. If someone likes the cat and they are green then they are cold. If someone needs the bald eagle and the bald eagle needs the lion then the lion is young. If someone is green then they like the cat.
The cat is not cold.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cat.[(triple4 OR ((triple2) -> rule6))] The bald eagle likes the lion.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat is nice.[(triple7)] The cat is young.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the lion.[(triple10)] The lion chases the bald eagle.[(triple11)] The lion needs the cat.[(triple12)] @1: The bald eagle chases the cat.[(((triple5) -> rule2))] The bald eagle is cold.[(((triple4 triple2) -> rule4) OR ((((triple2) -> rule6) triple2) -> rule4))] The cat chases the cat.[(((triple10) -> rule2))] The cat is green.[(((triple4 triple7) -> rule1) OR ((((triple2) -> rule6) triple7) -> rule1))] @2: The cat likes the cat.[(((((triple4 triple7) -> rule1)) -> rule6) OR ((((((triple2) -> rule6) triple7) -> rule1)) -> rule6))] @3: The cat is cold.[(((((((triple4 triple7) -> rule1)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((((((triple4 triple7) -> rule1)) -> rule6) ((((triple2) -> rule6) triple7) -> rule1)) -> rule4) OR ((((((((triple2) -> rule6) triple7) -> rule1)) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((((((((triple2) -> rule6) triple7) -> rule1)) -> rule6) ((((triple2) -> rule6) triple7) -> rule1)) -> rule4))]