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