The cow is big. The cow is green. The cow is red. Big, green people are red. If someone is green then they are cold.
The cow is round.
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3 OR ((triple1 triple2) -> rule1))] @1: The cow is cold.[(((triple2) -> rule2))]