The cow is cold. The cow is kind. The cow is nice. The cow is not red. The cow is not rough. All cold, nice people are not rough. All rough, kind people are red. Cold people are nice. If someone is cold and kind then they are nice. If someone is rough and cold then they are kind. Nice, cold people are kind. If someone is rough and red then they are cold. If the cow is kind and the cow is rough then the cow is red.
The cow is rough.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2 OR ((triple3 triple1) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6))] The cow is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple1 triple2) -> rule4))] The cow is not red.[(triple4)] The cow is not rough.[(triple5 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1) OR ((triple1 ((triple1 triple2) -> rule4)) -> rule1))]