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