The cow is big. The cow is cold. The cow is not rough. The cow is round. The cow is young. All cold things are round. All round, cold things are big.
The cow does not need the cow.
@0: The cow is big.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] The cow is cold.[(triple2)] The cow is not rough.[(triple3)] The cow is round.[(triple4 OR ((triple2) -> rule1))] The cow is young.[(triple5)]