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