The dog is big. The dog is cold. The dog is green. The dog is kind. The dog is round. Round things are cold. All kind things are round. Cold, big things are kind.
The dog is kind.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2 OR ((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] The dog is green.[(triple3)] The dog is kind.[(triple4 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule1) triple1) -> rule3))] The dog is round.[(triple5 OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule3)) -> rule2))]