The dog is green. The dog is kind. The dog is nice. The dog is red. The dog is round. If someone is kind and round then they are red. Green, nice people are round. Red, kind people are nice.
The dog chases the dog.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3 OR ((triple4 triple2) -> rule3) OR ((((triple2 triple5) -> rule1) triple2) -> rule3))] The dog is red.[(triple4 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple1 triple3) -> rule2)) -> rule1))] The dog is round.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple4 triple2) -> rule3)) -> rule2))]