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