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