The cow is blue. The cow is cold. The cow is kind. The cow is red. The cow is round. Round people are kind. If someone is cold and red then they are round.
The cow chases the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3 OR ((triple5) -> rule1) OR ((((triple2 triple4) -> rule2)) -> rule1))] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple2 triple4) -> rule2))]