Anne is kind. Erin is smart. Fiona is nice. Fiona is smart. Gary is not blue. Gary is not smart. Gary is white. All round, kind things are white. White things are kind. If something is furry then it is kind. If something is nice and smart then it is furry. Smart things are blue. All round, white things are smart. All blue things are round. If Fiona is smart and Fiona is round then Fiona is blue. All round things are nice.
Erin is kind.
@0: Anne is kind.[(triple1)] Erin is smart.[(triple2)] Fiona is nice.[(triple3 OR ((((((triple4) -> rule5)) -> rule7)) -> rule9))] Fiona is smart.[(triple4)] Gary is not blue.[(triple5)] Gary is not smart.[(triple6)] Gary is white.[(triple7)] @1: Erin is blue.[(((triple2) -> rule5))] Fiona is blue.[(((triple4) -> rule5))] Fiona is furry.[(((triple3 triple4) -> rule4) OR ((((((((triple4) -> rule5)) -> rule7)) -> rule9) triple4) -> rule4))] Gary is kind.[(((triple7) -> rule2))] @2: Erin is round.[(((((triple2) -> rule5)) -> rule7))] Fiona is kind.[(((((triple3 triple4) -> rule4)) -> rule3) OR ((((((((((triple4) -> rule5)) -> rule7)) -> rule9) triple4) -> rule4)) -> rule3))] Fiona is round.[(((((triple4) -> rule5)) -> rule7))] @3: Erin is nice.[(((((((triple2) -> rule5)) -> rule7)) -> rule9))] Fiona is white.[(((((((triple4) -> rule5)) -> rule7) ((((triple3 triple4) -> rule4)) -> rule3)) -> rule1) OR ((((((triple4) -> rule5)) -> rule7) ((((((((((triple4) -> rule5)) -> rule7)) -> rule9) triple4) -> rule4)) -> rule3)) -> rule1))] @4: Erin is furry.[(((((((((triple2) -> rule5)) -> rule7)) -> rule9) triple2) -> rule4))] @5: Erin is kind.[(((((((((((triple2) -> rule5)) -> rule7)) -> rule9) triple2) -> rule4)) -> rule3))] @6: Erin is white.[(((((((triple2) -> rule5)) -> rule7) ((((((((((triple2) -> rule5)) -> rule7)) -> rule9) triple2) -> rule4)) -> rule3)) -> rule1))]