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