The cow is cold. The cow is red. The cow is round. If the cow is big and the cow is round then the cow is young. All big things are young. Big things are young. Cold things are big. If something is round and young then it is big. If the cow is round and the cow is big then the cow is young.
The cow is not red.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] @1: The cow is big.[(((triple1) -> rule4))] @2: The cow is young.[(((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule4)) -> rule3) OR ((triple3 ((triple1) -> rule4)) -> rule6) OR ((((triple1) -> rule4) triple3) -> rule1))]