Anne is kind. Charlie is big. Charlie is furry. Charlie is red. Dave is big. Dave is kind. Dave is quiet. Dave is round. Gary is quiet. Gary is red. All kind people are big. If Anne is round and Anne is not furry then Anne is not nice. All furry people are not round.
Gary is not big.
@0: Anne is kind.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Charlie is red.[(triple4)] Dave is big.[(triple5 OR ((triple6) -> rule1))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is round.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] @1: Anne is big.[(((triple1) -> rule1))] Charlie is not round.[(((triple3) -> rule3))]