The dog is blue. The dog is cold. The dog is kind. The dog is nice. The dog is round. All blue, cold people are kind. All round, blue people are cold.
The dog is nice.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2 OR ((triple5 triple1) -> rule2))] The dog is kind.[(triple3 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple5 triple1) -> rule2)) -> rule1))] The dog is nice.[(triple4)] The dog is round.[(triple5)]