Anne is not furry. Charlie is smart. Fiona is furry. Gary is red. If Charlie is young and Charlie is round then Charlie is smart. Furry people are young. If someone is cold then they are round. If someone is smart then they are furry. If Charlie is green then Charlie is red. If Charlie is smart and Charlie is young then Charlie is not red.
Gary is cold.
@0: Anne is not furry.[(triple1)] Charlie is smart.[(triple2)] Fiona is furry.[(triple3)] Gary is red.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule4))] Fiona is young.[(((triple3) -> rule2))] @2: Charlie is young.[(((((triple2) -> rule4)) -> rule2))] @3: Charlie is not red.[(((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule6))]