Anne is cold. Anne is kind. Anne is not round. Charlie is cold. Charlie is smart. Fiona is big. Fiona is not kind. Fiona is red. Gary is big. Gary is smart. All kind things are furry. All cold things are furry. If Charlie is red then Charlie is big. If Charlie is red and Charlie is kind then Charlie is not round. All smart, furry things are red. All big things are red. Big, furry things are kind. If Gary is red and Gary is cold then Gary is furry.
Charlie is round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not round.[(triple3)] Charlie is cold.[(triple4)] Charlie is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is not kind.[(triple7)] Fiona is red.[(triple8 OR ((triple6) -> rule6))] Gary is big.[(triple9)] Gary is smart.[(triple10)] @1: Anne is furry.[(((triple1) -> rule2) OR ((triple2) -> rule1))] Charlie is furry.[(((triple4) -> rule2))] Gary is red.[(((triple9) -> rule6))] @2: Charlie is red.[(((triple5 ((triple4) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3))] @4: Charlie is kind.[(((((((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3) ((triple4) -> rule2)) -> rule7))] @5: Charlie is not round.[(((((triple5 ((triple4) -> rule2)) -> rule5) ((((((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3) ((triple4) -> rule2)) -> rule7)) -> rule4))]