The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is red. Cold things are green. Kind, big things are green. Kind things are red. If something is green and not kind then it is red. All kind, green things are big. If the cow is red and the cow is green then the cow is cold.
The cow likes the cow.
@0: The cow is big.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple2) -> rule1)) -> rule5))] The cow is cold.[(triple2 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple4 triple1) -> rule2)) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule6) OR ((((triple4) -> rule3) ((triple4 triple1) -> rule2)) -> rule6))] The cow is green.[(triple3 OR ((triple2) -> rule1) OR ((triple4 triple1) -> rule2))] The cow is kind.[(triple4)] The cow is red.[(triple5 OR ((triple4) -> rule3))]