Anne is kind. Anne is nice. Charlie is not big. Charlie is cold. Charlie is kind. Charlie is smart. Charlie is young. Erin is cold. Erin is kind. Erin is nice. Erin is young. Fiona is big. If Fiona is young then Fiona is nice. If something is nice and kind then it is smart. Big, kind things are young. All big things are round. If something is round then it is kind. If Charlie is big then Charlie is young. If something is smart and not round then it is not cold. All round, smart things are cold. Nice things are cold.
Erin is round.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not big.[(triple3)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule9))] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is young.[(triple11)] Fiona is big.[(triple12)] @1: Anne is cold.[(((triple2) -> rule9))] Anne is smart.[(((triple2 triple1) -> rule2))] Erin is smart.[(((triple10 triple9) -> rule2))] Fiona is round.[(((triple12) -> rule4))] @2: Fiona is kind.[(((((triple12) -> rule4)) -> rule5))] @3: Fiona is young.[(((triple12 ((((triple12) -> rule4)) -> rule5)) -> rule3))] @4: Fiona is nice.[(((((triple12 ((((triple12) -> rule4)) -> rule5)) -> rule3)) -> rule1))] @5: Fiona is cold.[(((((((triple12 ((((triple12) -> rule4)) -> rule5)) -> rule3)) -> rule1)) -> rule9) OR ((((triple12) -> rule4) ((((((triple12 ((((triple12) -> rule4)) -> rule5)) -> rule3)) -> rule1) ((((triple12) -> rule4)) -> rule5)) -> rule2)) -> rule8))] Fiona is smart.[(((((((triple12 ((((triple12) -> rule4)) -> rule5)) -> rule3)) -> rule1) ((((triple12) -> rule4)) -> rule5)) -> rule2))]