The cow is big. The cow is cold. The cow is not kind. The cow is nice. The cow is rough. If something is big then it is nice. If the cow is cold and the cow is big then the cow is nice. All kind, nice things are rough. All cold things are rough. If the cow is nice and the cow is not kind then the cow is cold. All kind things are big.
The cow chases the cow.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2 OR ((triple4 triple3) -> rule5) OR ((((triple1) -> rule1) triple3) -> rule5))] The cow is nice.[(triple4 OR ((triple1) -> rule1) OR ((triple2 triple1) -> rule2))] The cow is not kind.[(triple3)] The cow is rough.[(triple5 OR ((triple2) -> rule4) OR ((((triple4 triple3) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) triple3) -> rule5)) -> rule4))]