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