The squirrel is big. If something is red and not big then it is nice. All red, kind things are nice. If something is round and not big then it is kind. Round things are kind. All red things are kind. If something is nice and red then it is round. All big things are round. If something is round then it is red.
The squirrel is nice.
@0: The squirrel is big.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule7))] @2: The squirrel is kind.[(((((triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule7)) -> rule8)) -> rule5))] The squirrel is red.[(((((triple1) -> rule7)) -> rule8))] @3: The squirrel is nice.[(((((((triple1) -> rule7)) -> rule8) ((((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((((triple1) -> rule7)) -> rule8) ((((((triple1) -> rule7)) -> rule8)) -> rule5)) -> rule2))]