The cow is big. The cow is cold. The cow is green. The cow is nice. The cow is round. If someone is green then they are round. If the cow is green and the cow is cold then the cow is big. If the cow is nice and the cow is cold then the cow is big.
The cow chases the cow.
@0: The cow is big.[(triple1 OR ((triple3 triple2) -> rule2) OR ((triple4 triple2) -> rule3))] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5 OR ((triple3) -> rule1))]