Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is quiet. Charlie is rough. Charlie is young. Erin is white. Fiona is not red. Fiona is smart. Fiona is young. If something is quiet then it is smart. All young things are rough. All quiet things are rough. If something is rough then it is not blue. Blue things are young. If Charlie is blue then Charlie is quiet. If something is rough then it is quiet. If Fiona is red then Fiona is white.
Erin is rough.
@0: Anne is quiet.[(triple1 OR ((triple2) -> rule7) OR ((((triple5) -> rule2)) -> rule7))] Anne is rough.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule2))] Anne is smart.[(triple3 OR ((triple1) -> rule1) OR ((((triple2) -> rule7)) -> rule1) OR ((((((triple5) -> rule2)) -> rule7)) -> rule1))] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is quiet.[(triple6 OR ((triple7) -> rule7) OR ((((triple8) -> rule2)) -> rule7))] Charlie is rough.[(triple7 OR ((triple6) -> rule3) OR ((triple8) -> rule2))] Charlie is young.[(triple8)] Erin is white.[(triple9)] Fiona is not red.[(triple10)] Fiona is smart.[(triple11 OR ((((((triple12) -> rule2)) -> rule7)) -> rule1))] Fiona is young.[(triple12)] @1: Anne is not blue.[(((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Charlie is not blue.[(((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] Charlie is smart.[(((triple6) -> rule1) OR ((((triple7) -> rule7)) -> rule1) OR ((((((triple8) -> rule2)) -> rule7)) -> rule1))] Fiona is rough.[(((triple12) -> rule2))] @2: Fiona is not blue.[(((((triple12) -> rule2)) -> rule4))] Fiona is quiet.[(((((triple12) -> rule2)) -> rule7))]