The dog is big. The dog is blue. The dog is cold. The dog is red. The dog is round. If someone is blue then they are cold. If the dog is red then the dog is big. If the dog is blue then the dog is round. Big people are cold. If the dog is blue and the dog is cold then the dog is red. If someone is big then they are red.
The dog is red.
@0: The dog is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple2 triple3) -> rule5)) -> rule2) OR ((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule2))] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule1) OR ((((triple4) -> rule2)) -> rule4))] The dog is red.[(triple4 OR ((triple1) -> rule6) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1) -> rule4)) -> rule5) OR ((triple2 ((triple2) -> rule1)) -> rule5))] The dog is round.[(triple5 OR ((triple2) -> rule3))]