The cow is big. The cow is green. The cow is nice. If someone is nice then they are green. If the cow is cold then the cow is big. If the cow is big and the cow is green then the cow is red. If the cow is cold then the cow is nice. If the cow is red then the cow is nice. All nice people are cold.
The cow is not green.
@0: The cow is big.[(triple1 OR ((((triple3) -> rule6)) -> rule2))] The cow is green.[(triple2 OR ((triple3) -> rule1))] The cow is nice.[(triple3 OR ((((triple1 triple2) -> rule3)) -> rule5))] @1: The cow is cold.[(((triple3) -> rule6) OR ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule6))] The cow is red.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule1)) -> rule3) OR ((((((triple3) -> rule6)) -> rule2) triple2) -> rule3) OR ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule1)) -> rule3))]