Anne is quiet. Charlie is cold. Charlie is not quiet. Charlie is young. Erin is nice. Erin is quiet. Erin is smart. Fiona is not quiet. Fiona is round. Fiona is young. All smart, cold people are round. If someone is cold then they are young. If someone is young and quiet then they are blue. If someone is round and not quiet then they are blue. Nice, blue people are cold. If someone is quiet then they are cold. If someone is quiet then they are cold. All blue people are smart.
Charlie is not blue.
@0: Anne is quiet.[(triple1)] Charlie is cold.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule2))] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7 OR ((((((((triple6) -> rule6)) -> rule2) triple6) -> rule3)) -> rule8) OR ((((((((triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule8))] Fiona is not quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Anne is cold.[(((triple1) -> rule6) OR ((triple1) -> rule7))] Erin is cold.[(((triple6) -> rule6) OR ((triple6) -> rule7))] Fiona is blue.[(((triple9 triple8) -> rule4))] @2: Anne is young.[(((((triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule7)) -> rule2))] Erin is round.[(((triple7 ((triple6) -> rule6)) -> rule1) OR ((triple7 ((triple6) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule6)) -> rule2) triple6) -> rule3)) -> rule8) ((triple6) -> rule6)) -> rule1) OR ((((((((((triple6) -> rule6)) -> rule2) triple6) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule8) ((triple6) -> rule6)) -> rule1) OR ((((((((((triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1))] Erin is young.[(((((triple6) -> rule6)) -> rule2) OR ((((triple6) -> rule7)) -> rule2))] Fiona is smart.[(((((triple9 triple8) -> rule4)) -> rule8))] @3: Anne is blue.[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule7)) -> rule2) triple1) -> rule3))] Erin is blue.[(((((((triple6) -> rule6)) -> rule2) triple6) -> rule3) OR ((((((triple6) -> rule7)) -> rule2) triple6) -> rule3))] @4: Anne is smart.[(((((((((triple1) -> rule6)) -> rule2) triple1) -> rule3)) -> rule8) OR ((((((((triple1) -> rule7)) -> rule2) triple1) -> rule3)) -> rule8))] @5: Anne is round.[(((((((((((triple1) -> rule6)) -> rule2) triple1) -> rule3)) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule6)) -> rule2) triple1) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule7)) -> rule2) triple1) -> rule3)) -> rule8) ((triple1) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule7)) -> rule2) triple1) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1))]