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