Anne is blue. Anne is rough. Charlie is kind. Charlie is quiet. Charlie is young. Erin is big. Erin is rough. Erin is smart. Erin is young. Fiona is rough. Rough things are kind. Big, young things are blue. If Anne is young then Anne is blue. All blue, young things are big. If something is quiet and big then it is kind. All blue, big things are smart. Quiet things are big. If something is quiet then it is smart.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 ((triple4) -> rule7)) -> rule5))] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8 OR ((((triple6 triple9) -> rule2) triple6) -> rule6))] Erin is young.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is kind.[(((triple2) -> rule1))] Charlie is big.[(((triple4) -> rule7))] Charlie is smart.[(((triple4) -> rule8) OR ((((((triple4) -> rule7) triple5) -> rule2) ((triple4) -> rule7)) -> rule6))] Erin is blue.[(((triple6 triple9) -> rule2))] Erin is kind.[(((triple7) -> rule1))] Fiona is kind.[(((triple10) -> rule1))] @2: Charlie is blue.[(((((triple4) -> rule7) triple5) -> rule2))]