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 does not like the cow.
@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))]