The dog is blue. The dog is green. The dog is kind. The dog is red. The dog is young. If someone is young then they are kind. If someone is kind then they are blue.
The dog is young.
@0: The dog is blue.[(triple1 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule1))] The dog is red.[(triple4)] The dog is young.[(triple5)]