The cow is round. Big people are not kind. If someone is nice and rough then they are kind. Round, rough people are kind. Kind people are not big. If the cow is nice then the cow is not big. All big people are not round. All round, kind people are not nice. All round people are rough.
The cow is not rough.
@0: The cow is round.[(triple1)] @1: The cow is rough.[(((triple1) -> rule8))] @2: The cow is kind.[(((triple1 ((triple1) -> rule8)) -> rule3))] @3: The cow is not big.[(((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))] The cow is not nice.[(((triple1 ((triple1 ((triple1) -> rule8)) -> rule3)) -> rule7))]