The cow is big. The cow is blue. The cow is kind. The cow is red. The cow is round. All blue, red things are round.
The cow is red.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple2 triple4) -> rule1))]