The cow is blue. The cow is cold. The cow is kind. The cow is rough. The cow is round. All blue things are cold. All kind things are round. If the cow is kind and the cow is cold then the cow is rough.
The cow is not round.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple1) -> rule1))] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple1) -> rule1)) -> rule3))] The cow is round.[(triple5 OR ((triple3) -> rule2))]