The cow is big. The cow is cold. The cow is green. If something is nice and cold then it is green. Cold things are green. All green things are nice. All round, nice things are cold. If the cow is big then the cow is green. If something is nice then it is big.
The cow does not like the cow.
@0: The cow is big.[(triple1 OR ((((triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule3)) -> rule6))] The cow is cold.[(triple2)] The cow is green.[(triple3 OR ((triple1) -> rule5) OR ((triple2) -> rule2))] @1: The cow is nice.[(((triple3) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))]