The dog is big. The dog is kind. The dog is rough. Kind, rough things are green. All big things are kind. If something is green then it is rough. If something is kind and red then it is rough. If something is kind then it is big. Rough things are big.
The dog does not like the dog.
@0: The dog is big.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule6))] The dog is kind.[(triple2 OR ((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] The dog is rough.[(triple3)] @1: The dog is green.[(((triple2 triple3) -> rule1) OR ((((triple1) -> rule2) triple3) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule1))]