Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Young things are white. If something is furry then it is rough. All smart things are young. If something is rough then it is quiet. If something is smart then it is furry. If something is white and rough then it is round.
Dave is white.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] Charlie is rough.[(triple3 OR ((triple1) -> rule2))] Charlie is round.[(triple4 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple1) -> rule2)) -> rule6) OR ((((triple6) -> rule1) triple3) -> rule6) OR ((((triple6) -> rule1) ((triple1) -> rule2)) -> rule6))] Charlie is white.[(triple5 OR ((triple6) -> rule1))] Charlie is young.[(triple6)] Dave is furry.[(triple7 OR ((triple10) -> rule5))] Dave is quiet.[(triple8 OR ((triple9) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((((triple10) -> rule5)) -> rule2)) -> rule4))] Dave is rough.[(triple9 OR ((triple7) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] Dave is smart.[(triple10)] @1: Dave is young.[(((triple10) -> rule3))] @2: Dave is white.[(((((triple10) -> rule3)) -> rule1))] @3: Dave is round.[(((((((triple10) -> rule3)) -> rule1) triple9) -> rule6) OR ((((((triple10) -> rule3)) -> rule1) ((triple7) -> rule2)) -> rule6) OR ((((((triple10) -> rule3)) -> rule1) ((((triple10) -> rule5)) -> rule2)) -> rule6))]