The cow is kind. The cow is red. The cow is young. If someone is young and not red then they are blue. Red people are big. All young people are kind.
The cow is red.
@0: The cow is kind.[(triple1 OR ((triple3) -> rule3))] The cow is red.[(triple2)] The cow is young.[(triple3)] @1: The cow is big.[(((triple2) -> rule2))]