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