Anne is not rough. Charlie is round. Gary is big. Kind things are not furry. If something is red then it is rough. If Charlie is red then Charlie is green. If Anne is red then Anne is not big. All round, big things are kind. If something is big then it is kind. If Anne is kind then Anne is round. If Charlie is round then Charlie is big.
Anne is furry.
@0: Anne is not rough.[(triple1)] Charlie is round.[(triple2)] Gary is big.[(triple3)] @1: Charlie is big.[(((triple2) -> rule8))] Gary is kind.[(((triple3) -> rule6))] @2: Charlie is kind.[(((((triple2) -> rule8)) -> rule6) OR ((triple2 ((triple2) -> rule8)) -> rule5))] Gary is not furry.[(((((triple3) -> rule6)) -> rule1))] @3: Charlie is not furry.[(((((((triple2) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple2) -> rule8)) -> rule5)) -> rule1))]