Anne is furry. Anne is nice. Anne is not smart. Anne is young. Charlie is red. Fiona is blue. Fiona is young. Gary is nice. Gary is not red. Gary is not smart. If someone is red then they are young. Blue people are nice. If Charlie is red then Charlie is blue. If Fiona is red and Fiona is not nice then Fiona is furry. If someone is young and not blue then they are furry. If someone is young and not red then they are furry. All red people are furry. If someone is red and not blue then they are furry.
Gary is cold.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple3)] Anne is young.[(triple4)] Charlie is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is young.[(triple7)] Gary is nice.[(triple8)] Gary is not red.[(triple9)] Gary is not smart.[(triple10)] @1: Charlie is blue.[(((triple5) -> rule3))] Charlie is furry.[(((triple5) -> rule7))] Charlie is young.[(((triple5) -> rule1))] Fiona is nice.[(((triple6) -> rule2))] @2: Charlie is nice.[(((((triple5) -> rule3)) -> rule2))]