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