The dog is not blue. The dog is round. The dog is young. All round things are not big. If something is rough and not round then it is blue. If something is young then it is not blue.
The dog visits the dog.
@0: The dog is not blue.[(triple1 OR ((triple3) -> rule3))] The dog is round.[(triple2)] The dog is young.[(triple3)] @1: The dog is not big.[(((triple2) -> rule1))]