The cow is blue. The cow is cold. The cow is young. If the cow is young and the cow is cold then the cow is green. If someone is blue then they are rough. Young people are blue. If the cow is rough and the cow is green then the cow is young. If someone is rough and cold then they are young. All young, green people are rough. If someone is blue and green then they are cold. If someone is rough and young then they are blue.
The cow is cold.
@0: The cow is blue.[(triple1 OR ((triple3) -> rule3) OR ((((triple3 ((triple3 triple2) -> rule1)) -> rule6) triple3) -> rule8))] The cow is cold.[(triple2)] The cow is young.[(triple3 OR ((((triple1) -> rule2) triple2) -> rule5))] @1: The cow is green.[(((triple3 triple2) -> rule1) OR ((((((triple1) -> rule2) triple2) -> rule5) triple2) -> rule1))] The cow is rough.[(((triple1) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((triple3 ((triple3 triple2) -> rule1)) -> rule6))]