The cow is big. The cow is blue. The cow is cold. The cow is kind. The cow is rough. If the cow is kind and the cow is blue then the cow is rough. Kind people are blue. If the cow is cold then the cow is big.
The cow does not chase the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule3))] The cow is blue.[(triple2 OR ((triple4) -> rule2))] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))]