Anne is furry. Charlie is furry. Dave is not red. Gary is not white. All big, young people are white. Furry people are white. If someone is big and not young then they are red. White, furry people are red. Red people are not round. All red, big people are cold. All red people are furry. If Gary is white and Gary is not young then Gary is big.
Charlie is cold.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Dave is not red.[(triple3)] Gary is not white.[(triple4)] @1: Anne is white.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule2))] @2: Anne is red.[(((((triple1) -> rule2) triple1) -> rule4))] Charlie is red.[(((((triple2) -> rule2) triple2) -> rule4))] @3: Anne is not round.[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule5))] Charlie is not round.[(((((((triple2) -> rule2) triple2) -> rule4)) -> rule5))]