The cow is red. Kind, round things are not red. All young, red things are not kind. All red, rough things are round. All rough things are round. If the cow is young and the cow is kind then the cow is round. If something is red then it is rough. If something is round and young then it is rough. If something is rough then it is young.
The cow is rough.
@0: The cow is red.[(triple1)] @1: The cow is rough.[(((triple1) -> rule6))] @2: The cow is round.[(((((triple1) -> rule6)) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule3))] The cow is young.[(((((triple1) -> rule6)) -> rule8))] @3: The cow is not kind.[(((((((triple1) -> rule6)) -> rule8) triple1) -> rule2))]