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