The cow is big. The cow is blue. The cow is kind. The cow is nice. The cow is red. Red people are blue. If the cow is red and the cow is nice then the cow is blue.
The cow does not like the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2 OR ((triple5) -> rule1) OR ((triple5 triple4) -> rule2))] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)]