The dog is kind. If something is kind then it is rough. All young, big things are kind. All rough, cold things are kind. All rough things are kind. Big things are young. If something is kind and rough then it is big.
The dog is not big.
@0: The dog is kind.[(triple1)] @1: The dog is rough.[(((triple1) -> rule1))] @2: The dog is big.[(((triple1 ((triple1) -> rule1)) -> rule6))] @3: The dog is young.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule5))]