The dog is green. The dog is kind. The dog is red. The dog is round. The dog is young. Young, red things are kind. All green things are kind. All young, round things are red.
The dog does not eat the dog.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2 OR ((triple1) -> rule2) OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule1))] The dog is red.[(triple3 OR ((triple5 triple4) -> rule3))] The dog is round.[(triple4)] The dog is young.[(triple5)]