The cow is kind. If something is kind then it is red. All cold, rough things are red. If something is rough and not kind then it is not red. All cold things are rough. All red, kind things are cold. If something is rough then it is cold. If something is cold and rough then it is big. If the cow is not cold and the cow is not red then the cow is big.
The cow is not rough.
@0: The cow is kind.[(triple1)] @1: The cow is red.[(((triple1) -> rule1))] @2: The cow is cold.[(((((triple1) -> rule1) triple1) -> rule5))] @3: The cow is rough.[(((((((triple1) -> rule1) triple1) -> rule5)) -> rule4))] @4: The cow is big.[(((((((triple1) -> rule1) triple1) -> rule5) ((((((triple1) -> rule1) triple1) -> rule5)) -> rule4)) -> rule7))]