The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is red. All red things are green. Red things are green. Kind things are big.
The cow is not kind.
@0: The cow is big.[(triple1 OR ((triple4) -> rule3))] The cow is cold.[(triple2)] The cow is green.[(triple3 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] The cow is kind.[(triple4)] The cow is red.[(triple5)]