The cow is green. The cow is kind. The cow is rough. The cow is round. The cow is young. All young people are round. All young people are kind. All young, round people are kind. If the cow is young then the cow is round. If someone is rough then they are green. If someone is round and not rough then they are not young.
The cow does not like the cow.
@0: The cow is green.[(triple1 OR ((triple3) -> rule5))] The cow is kind.[(triple2 OR ((triple5) -> rule2) OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3) OR ((triple5 ((triple5) -> rule4)) -> rule3))] The cow is rough.[(triple3)] The cow is round.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule4))] The cow is young.[(triple5)]