The bald eagle is big. The bald eagle is cold. The bald eagle is young. The cat is not kind. The cow is red. The cow likes the bald eagle. The squirrel visits the bald eagle. If something likes the cow then the cow likes the squirrel. All big things are cold. If the squirrel is red then the squirrel is young. If something likes the squirrel then the squirrel is red. If something is young then it likes the cow. If the squirrel likes the cat and the cow does not chase the squirrel then the cat likes the cow. If something visits the squirrel and the squirrel is big then it does not like the squirrel. If something is big then it visits the cow. If something visits the squirrel and it is not red then the squirrel does not visit the bald eagle.
The cow likes the squirrel.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple1) -> rule2))] The bald eagle is young.[(triple3)] The cat is not kind.[(triple4)] The cow is red.[(triple5)] The cow likes the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle likes the cow.[(((triple3) -> rule5))] The bald eagle visits the cow.[(((triple1) -> rule8))] @2: The cow likes the squirrel.[(((((triple3) -> rule5)) -> rule1))] @3: The squirrel is red.[(((((((triple3) -> rule5)) -> rule1)) -> rule4))] @4: The squirrel is young.[(((((((((triple3) -> rule5)) -> rule1)) -> rule4)) -> rule3))] @5: The squirrel likes the cow.[(((((((((((triple3) -> rule5)) -> rule1)) -> rule4)) -> rule3)) -> rule5))]