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