Anne is big. Anne is furry. Anne is not quiet. Anne is red. Anne is round. Charlie is big. Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is not round. Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is round. If Charlie is big then Charlie is red. Red, round things are cold. If Anne is cold then Anne is round. If Anne is kind then Anne is big. If Anne is cold then Anne is kind. If Charlie is not big and Charlie is not red then Charlie is kind. If something is big and not red then it is round. Quiet, red things are not round.
Charlie is not cold.
@0: Anne is big.[(triple1 OR ((((((triple4 triple5) -> rule2)) -> rule5)) -> rule4))] Anne is furry.[(triple2)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Charlie is big.[(triple6)] Charlie is kind.[(triple8)] Charlie is not furry.[(triple7)] Charlie is not round.[(triple11 OR ((triple9 triple10) -> rule8) OR ((triple9 ((triple6) -> rule1)) -> rule8))] Charlie is quiet.[(triple9)] Charlie is red.[(triple10 OR ((triple6) -> rule1))] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15)] Gary is round.[(triple16)] @1: Anne is cold.[(((triple4 triple5) -> rule2))] Gary is cold.[(((triple15 triple16) -> rule2))] @2: Anne is kind.[(((((triple4 triple5) -> rule2)) -> rule5))]