The cow is big. The cow is blue. The cow is kind. The cow is nice. The cow is red. Kind, nice things are blue. If something is kind and blue then it is nice. All kind things are big.
The cow is big.
@0: The cow is big.[(triple1 OR ((triple3) -> rule3))] The cow is blue.[(triple2 OR ((triple3 triple4) -> rule1))] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple3 triple2) -> rule2))] The cow is red.[(triple5)]