The cat is rough. Blue things are not round. If something is rough then it is round. If something is rough then it is round. If the cat is round and the cat is kind then the cat is nice. All blue things are kind. Round things are kind. If something is kind and not rough then it is blue. If something is round and not kind then it is not nice.
The cat is not rough.
@0: The cat is rough.[(triple1)] @1: The cat is round.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: The cat is kind.[(((((triple1) -> rule2)) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] @3: The cat is nice.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule4))]