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