The cat is kind. If something is cold and kind then it is young. All kind things are cold. If something is kind and red then it is big. If the cat is kind then the cat is cold. Kind things are young. Big things are red. If something is kind and big then it is young. If something is young then it is red.
The cat is not big.
@0: The cat is kind.[(triple1)] @1: The cat is cold.[(((triple1) -> rule2) OR ((triple1) -> rule4))] The cat is young.[(((triple1) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule1))] @2: The cat is red.[(((((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule1)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule1)) -> rule8))] @3: The cat is big.[(((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule3) OR ((triple1 ((((((triple1) -> rule2) triple1) -> rule1)) -> rule8)) -> rule3) OR ((triple1 ((((((triple1) -> rule4) triple1) -> rule1)) -> rule8)) -> rule3))]