The cow is blue. The cow is cold. The cow is green. The cow is nice. The cow is young. All green people are cold. Cold people are nice. All nice, green people are cold.
The cow likes the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple3) -> rule1) OR ((triple4 triple3) -> rule3))] The cow is green.[(triple3)] The cow is nice.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The cow is young.[(triple5)]