The cow is big. The cow is not blue. The cow is cold. The cow is round. The cow is not young. All round, blue people are young. All cold people are not young. If someone is young and not round then they are not cold. Big people are cold. If the cow is big then the cow is cold. If the cow is blue then the cow is big.
The cow visits the cow.
@0: The cow is big.[(triple1)] The cow is cold.[(triple3 OR ((triple1) -> rule4) OR ((triple1) -> rule5))] The cow is not blue.[(triple2)] The cow is not young.[(triple5 OR ((triple3) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] The cow is round.[(triple4)]