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