Anne is furry. Anne is nice. Anne is red. Charlie is cold. Charlie is not green. Charlie is red. Fiona is green. Fiona is not red. Gary is furry. Gary is not green. Gary is nice. Gary is young. Young, nice people are cold. Round, green people are not red. If someone is cold and young then they are not round. If someone is nice then they are young. If someone is red and not cold then they are furry. If someone is round and young then they are furry.
Fiona is not red.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Charlie is cold.[(triple4)] Charlie is not green.[(triple5)] Charlie is red.[(triple6)] Fiona is green.[(triple7)] Fiona is not red.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple11)] Gary is not green.[(triple10)] Gary is young.[(triple12 OR ((triple11) -> rule4))] @1: Anne is young.[(((triple2) -> rule4))] Gary is cold.[(((triple12 triple11) -> rule1) OR ((((triple11) -> rule4) triple11) -> rule1))] @2: Anne is cold.[(((((triple2) -> rule4) triple2) -> rule1))] Gary is not round.[(((((triple12 triple11) -> rule1) triple12) -> rule3) OR ((((triple12 triple11) -> rule1) ((triple11) -> rule4)) -> rule3) OR ((((((triple11) -> rule4) triple11) -> rule1) triple12) -> rule3) OR ((((((triple11) -> rule4) triple11) -> rule1) ((triple11) -> rule4)) -> rule3))] @3: Anne is not round.[(((((((triple2) -> rule4) triple2) -> rule1) ((triple2) -> rule4)) -> rule3))]