The cow is red. All cold, red people are round. Cold people are round. If the cow is red then the cow is cold. All cold, rough people are green. Round people are cold. If someone is green and red then they are cold. If the cow is cold and the cow is red then the cow is round. If someone is red then they are rough.
The cow is rough.
@0: The cow is red.[(triple1)] @1: The cow is cold.[(((triple1) -> rule3))] The cow is rough.[(((triple1) -> rule8))] @2: The cow is green.[(((((triple1) -> rule3) ((triple1) -> rule8)) -> rule4))] The cow is round.[(((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule7))]