The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is round. If the cow is round and the cow is kind then the cow is green. If the cow is round then the cow is blue.
The cow is green.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule2))] The cow is cold.[(triple2)] The cow is green.[(triple3 OR ((triple5 triple4) -> rule1))] The cow is kind.[(triple4)] The cow is round.[(triple5)]