The cow is big. The cow is blue. The cow is cold. The cow is kind. The cow is rough. If something is cold then it is big. All kind things are cold.
The cow does not eat the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple4) -> rule2))] The cow is kind.[(triple4)] The cow is rough.[(triple5)]