Anne is rough. Anne is round. Charlie is big. Charlie is not rough. Charlie is round. Erin is not blue. Erin is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is round. If someone is blue and nice then they are not white. Nice people are rough. Smart, round people are blue. All white, round people are not blue. If Erin is rough then Erin is blue. If Erin is nice and Erin is smart then Erin is round. Blue, rough people are nice. If someone is rough then they are big. Big people are smart.
Charlie is white.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Charlie is big.[(triple3)] Charlie is not rough.[(triple4)] Charlie is round.[(triple5)] Erin is not blue.[(triple6)] Erin is smart.[(triple7)] Fiona is big.[(triple8 OR ((((triple10) -> rule2)) -> rule8))] Fiona is blue.[(triple9 OR ((((triple8) -> rule9) triple11) -> rule3) OR ((((((((triple10) -> rule2)) -> rule8)) -> rule9) triple11) -> rule3))] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] @1: Anne is big.[(((triple1) -> rule8))] Charlie is smart.[(((triple3) -> rule9))] Fiona is not white.[(((triple9 triple10) -> rule1) OR ((((((triple8) -> rule9) triple11) -> rule3) triple10) -> rule1) OR ((((((((((triple10) -> rule2)) -> rule8)) -> rule9) triple11) -> rule3) triple10) -> rule1))] Fiona is rough.[(((triple10) -> rule2))] Fiona is smart.[(((triple8) -> rule9) OR ((((((triple10) -> rule2)) -> rule8)) -> rule9))] @2: Anne is smart.[(((((triple1) -> rule8)) -> rule9))] Charlie is blue.[(((((triple3) -> rule9) triple5) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule9) triple2) -> rule3))] @4: Anne is nice.[(((((((((triple1) -> rule8)) -> rule9) triple2) -> rule3) triple1) -> rule7))] @5: Anne is not white.[(((((((((triple1) -> rule8)) -> rule9) triple2) -> rule3) ((((((((triple1) -> rule8)) -> rule9) triple2) -> rule3) triple1) -> rule7)) -> rule1))]