The cow is big. The cow is not blue. The cow is cold. The cow is green. The cow is rough. Green things are rough. If something is big then it is green. Rough things are big.
The cow does not see the cow.
@0: The cow is big.[(triple1 OR ((triple5) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] The cow is cold.[(triple3)] The cow is green.[(triple4 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] The cow is not blue.[(triple2)] The cow is rough.[(triple5 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]