The cow is big. The cow is nice. The cow is rough. The cow is round. The cow is young. If someone is round then they are big. If the cow is round then the cow is young. All young people are round. If the cow is rough then the cow is nice. If someone is nice and not round then they are rough. Young, nice people are rough. If someone is young and not big then they are nice. All round people are nice.
The cow is not big.
@0: The cow is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] The cow is nice.[(triple2 OR ((triple3) -> rule4) OR ((triple4) -> rule8) OR ((((triple5) -> rule3)) -> rule8))] The cow is rough.[(triple3 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule2) triple2) -> rule6) OR ((((triple4) -> rule2) ((triple4) -> rule8)) -> rule6) OR ((triple5 ((((triple5) -> rule3)) -> rule8)) -> rule6) OR ((((triple4) -> rule2) ((((triple5) -> rule3)) -> rule8)) -> rule6))] The cow is round.[(triple4 OR ((triple5) -> rule3))] The cow is young.[(triple5 OR ((triple4) -> rule2))]