Anne is round. Anne is white. Bob is cold. Bob is young. Erin is cold. Erin is nice. Erin is white. Fiona is round. Fiona is smart. Fiona is young. If something is kind then it is cold. If Erin is nice then Erin is white. Cold, round things are kind. All round things are cold. If Erin is nice then Erin is cold. Cold things are young.
Bob is nice.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is young.[(triple4 OR ((triple3) -> rule6))] Erin is cold.[(triple5 OR ((triple6) -> rule5))] Erin is nice.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule2))] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10 OR ((((triple8) -> rule4)) -> rule6))] @1: Anne is cold.[(((triple1) -> rule4))] Erin is young.[(((triple5) -> rule6) OR ((((triple6) -> rule5)) -> rule6))] Fiona is cold.[(((triple8) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule4) triple1) -> rule3))] Anne is young.[(((((triple1) -> rule4)) -> rule6))] Fiona is kind.[(((((triple8) -> rule4) triple8) -> rule3))]