The cow is blue. All rough, blue things are green. Nice things are cold. Green, nice things are blue. All green things are rough. Nice things are blue. Rough things are nice. If something is blue then it is green. Green, blue things are nice.
The cow is green.
@0: The cow is blue.[(triple1)] @1: The cow is green.[(((triple1) -> rule7))] @2: The cow is nice.[(((((triple1) -> rule7) triple1) -> rule8) OR ((((((triple1) -> rule7)) -> rule4)) -> rule6))] The cow is rough.[(((((triple1) -> rule7)) -> rule4))] @3: The cow is cold.[(((((((triple1) -> rule7) triple1) -> rule8)) -> rule2) OR ((((((((triple1) -> rule7)) -> rule4)) -> rule6)) -> rule2))]