The dog is blue. The dog is not kind. The dog is red. The dog is rough. The dog is round. If something is blue and rough then it is round. If something is kind then it is red. If something is blue then it is rough.
The dog eats the dog.
@0: The dog is blue.[(triple1)] The dog is not kind.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4 OR ((triple1) -> rule3))] The dog is round.[(triple5 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))]