Anne is young. Erin is cold. Erin is nice. Fiona is cold. Fiona is not smart. Fiona is young. Gary is nice. If someone is big then they are nice. All round, big people are cold. All nice, round people are cold. All cold, nice people are smart. All nice people are round. If someone is big and not nice then they are young.
Gary is smart.
@0: Anne is young.[(triple1)] Erin is cold.[(triple2 OR ((triple3 ((triple3) -> rule5)) -> rule3))] Erin is nice.[(triple3)] Fiona is cold.[(triple4)] Fiona is not smart.[(triple5)] Fiona is young.[(triple6)] Gary is nice.[(triple7)] @1: Erin is round.[(((triple3) -> rule5))] Erin is smart.[(((triple2 triple3) -> rule4) OR ((((triple3 ((triple3) -> rule5)) -> rule3) triple3) -> rule4))] Gary is round.[(((triple7) -> rule5))] @2: Gary is cold.[(((triple7 ((triple7) -> rule5)) -> rule3))] @3: Gary is smart.[(((((triple7 ((triple7) -> rule5)) -> rule3) triple7) -> rule4))]