The cow is blue. The cow is kind. The cow is rough. The cow is round. The cow is young. Kind people are blue. If the cow is round then the cow is young. If the cow is blue then the cow is round. If someone is rough and not kind then they are young. If someone is blue and not round then they are young. If someone is kind and not round then they are rough. Young people are rough. If someone is kind then they are rough.
The cow is rough.
@0: The cow is blue.[(triple1 OR ((triple2) -> rule1))] The cow is kind.[(triple2)] The cow is rough.[(triple3 OR ((triple2) -> rule8) OR ((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((((triple1) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7))] The cow is round.[(triple4 OR ((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] The cow is young.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule3)) -> rule2))]