The cow is blue. The cow is nice. The cow is red. Red, green things are nice. If something is red and not green then it is not nice. Blue things are kind. If something is nice then it is kind. If something is blue then it is red. All kind, nice things are blue. Nice things are blue. If the cow is blue then the cow is nice.
The cow does not like the cow.
@0: The cow is blue.[(triple1 OR ((triple2) -> rule7) OR ((((triple2) -> rule4) triple2) -> rule6))] The cow is nice.[(triple2 OR ((triple1) -> rule8))] The cow is red.[(triple3 OR ((triple1) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple2) -> rule4) triple2) -> rule6)) -> rule5))] @1: The cow is kind.[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple2) -> rule7)) -> rule3))]