Anne is white. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is blue. Dave is rough. Dave is round. Dave is white. Fiona is red. Round things are red. If Anne is rough and Anne is round then Anne is red. All white, rough things are blue. Rough, quiet things are smart. Quiet things are rough. All red things are quiet.
Anne is rough.
@0: Anne is white.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule1))] Charlie is round.[(triple3)] Charlie is smart.[(triple4 OR ((((((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule6)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule4))] Charlie is white.[(triple5)] Dave is blue.[(triple6 OR ((triple9 triple7) -> rule3) OR ((triple9 ((((((triple8) -> rule1)) -> rule6)) -> rule5)) -> rule3))] Dave is rough.[(triple7 OR ((((((triple8) -> rule1)) -> rule6)) -> rule5))] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is red.[(triple10)] @1: Charlie is quiet.[(((triple2) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] Dave is red.[(((triple8) -> rule1))] Fiona is quiet.[(((triple10) -> rule6))] @2: Charlie is rough.[(((((triple2) -> rule6)) -> rule5) OR ((((((triple3) -> rule1)) -> rule6)) -> rule5))] Dave is quiet.[(((((triple8) -> rule1)) -> rule6))] Fiona is rough.[(((((triple10) -> rule6)) -> rule5))] @3: Charlie is blue.[(((triple5 ((((triple2) -> rule6)) -> rule5)) -> rule3) OR ((triple5 ((((((triple3) -> rule1)) -> rule6)) -> rule5)) -> rule3))] Dave is smart.[(((triple7 ((((triple8) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((((triple8) -> rule1)) -> rule6)) -> rule4))] Fiona is smart.[(((((((triple10) -> rule6)) -> rule5) ((triple10) -> rule6)) -> rule4))]