The cow is blue. The cow is cold. The cow is green. The cow is red. The cow is young. Blue things are red. Young, cold things are blue.
The cow is blue.
@0: The cow is blue.[(triple1 OR ((triple5 triple2) -> rule2))] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4 OR ((triple1) -> rule1) OR ((((triple5 triple2) -> rule2)) -> rule1))] The cow is young.[(triple5)]