The dog is cold. The dog is green. The dog is nice. The dog is round. The dog is young. All young things are round. Round things are green. Cold, young things are round. If the dog is nice and the dog is green then the dog is cold. Round, cold things are young. If the dog is round and the dog is nice then the dog is young.
The dog is young.
@0: The dog is cold.[(triple1 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple4) -> rule2)) -> rule4) OR ((triple3 ((((triple5) -> rule1)) -> rule2)) -> rule4))] The dog is green.[(triple2 OR ((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple1 triple5) -> rule3)) -> rule2))] The dog is nice.[(triple3)] The dog is round.[(triple4 OR ((triple5) -> rule1) OR ((triple1 triple5) -> rule3) OR ((((triple3 triple2) -> rule4) triple5) -> rule3))] The dog is young.[(triple5 OR ((triple4 triple1) -> rule5) OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple3 triple2) -> rule4)) -> rule5) OR ((triple4 ((triple3 ((triple4) -> rule2)) -> rule4)) -> rule5))]