The cow is big. The cow is green. The cow is nice. The cow is red. The cow is young. All nice things are red. All big, green things are nice. All red things are young.
The cow does not chase the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3 OR ((triple1 triple2) -> rule2))] The cow is red.[(triple4 OR ((triple3) -> rule1) OR ((((triple1 triple2) -> rule2)) -> rule1))] The cow is young.[(triple5 OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((((triple1 triple2) -> rule2)) -> rule1)) -> rule3))]