The dog is red. If something is blue and rough then it is nice. If the dog is red then the dog is rough. Red, rough things are blue. All nice things are red. All nice, rough things are young. If something is nice then it is red. All rough things are young. If something is young then it is red.
The dog is not rough.
@0: The dog is red.[(triple1)] @1: The dog is rough.[(((triple1) -> rule2))] @2: The dog is blue.[(((triple1 ((triple1) -> rule2)) -> rule3))] The dog is young.[(((((triple1) -> rule2)) -> rule7) OR ((((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule5))] @3: The dog is nice.[(((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1))]