The cow is cold. The cow is not green. The cow is kind. The cow is nice. The cow is young. If something is green then it is nice. If something is cold and not kind then it is nice. If something is cold and not kind then it is nice. If something is green then it is cold. All kind things are cold. If something is kind then it is not green.
The cow visits the cow.
@0: The cow is cold.[(triple1 OR ((triple3) -> rule5))] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is not green.[(triple2 OR ((triple3) -> rule6))] The cow is young.[(triple5)]