The cow is big. The cow is cold. The cow is kind. The cow is red. The cow is young. If the cow is kind then the cow is young. Cold, kind people are red. If someone is red and big then they are young.
The cow is not young.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4 OR ((triple2 triple3) -> rule2))] The cow is young.[(triple5 OR ((triple3) -> rule1) OR ((triple4 triple1) -> rule3) OR ((((triple2 triple3) -> rule2) triple1) -> rule3))]