The cow is big. The cow is kind. The cow is nice. All nice people are young. If the cow is big then the cow is nice. All big people are red. All big, nice people are red. If someone is kind then they are nice. If someone is big then they are red.
The cow is not kind.
@0: The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple2) -> rule5))] @1: The cow is red.[(((triple1) -> rule3) OR ((triple1) -> rule6) OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule4) OR ((triple1 ((triple2) -> rule5)) -> rule4))] The cow is young.[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple2) -> rule5)) -> rule1))]