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