Charlie is quiet. Charlie is white. Dave is smart. Dave is white. Erin is green. Erin is quiet. Erin is white. If something is rough and smart then it is white. If something is rough then it is white. Round, white things are quiet. All rough, cold things are smart. All white, smart things are cold. Smart, quiet things are round. If something is white then it is round. Cold, green things are smart.
Charlie is rough.
@0: Charlie is quiet.[(triple1 OR ((((triple2) -> rule7) triple2) -> rule3))] Charlie is white.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6 OR ((((triple7) -> rule7) triple7) -> rule3))] Erin is white.[(triple7)] @1: Charlie is round.[(((triple2) -> rule7))] Dave is cold.[(((triple4 triple3) -> rule5))] Dave is round.[(((triple4) -> rule7))] Erin is round.[(((triple7) -> rule7))] @2: Dave is quiet.[(((((triple4) -> rule7) triple4) -> rule3))]