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