The dog is green. If the dog is green then the dog is not big. If the dog is not big then the dog is round. If the dog is round and the dog is big then the dog is kind. If the dog is blue then the dog is kind. If something is round and green then it is blue. If something is round and not blue then it is not kind. If something is big and not round then it is kind. Round, green things are kind.
The dog is kind.
@0: The dog is green.[(triple1)] @1: The dog is not big.[(((triple1) -> rule1))] @2: The dog is round.[(((((triple1) -> rule1)) -> rule2))] @3: The dog is blue.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule5))] The dog is kind.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule8) OR ((((((((triple1) -> rule1)) -> rule2) triple1) -> rule5)) -> rule4))]