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