The cow is big. The cow is cold. The cow is kind. The cow is not rough. The cow is young. All kind things are big. If something is rough and not kind then it is cold.
The cow needs the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule1))] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is not rough.[(triple4)] The cow is young.[(triple5)]