Charlie is green. Charlie is nice. Charlie is smart. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is white. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Gary is green. Gary is red. Gary is white. All quiet, nice things are smart. All quiet things are smart. Nice, red things are round. Red things are nice. All nice, round things are quiet. If something is green and quiet then it is smart.
Gary is quiet.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple6) -> rule4))] Dave is red.[(triple6)] Dave is smart.[(triple7 OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1))] Dave is white.[(triple8)] Erin is nice.[(triple9 OR ((triple11) -> rule4))] Erin is quiet.[(triple10 OR ((triple9 ((triple9 triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) OR ((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5))] Erin is red.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule2) OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule1) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1))] Erin is white.[(triple13)] Gary is green.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)] @1: Dave is round.[(((triple5 triple6) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3))] Erin is round.[(((triple9 triple11) -> rule3) OR ((((triple11) -> rule4) triple11) -> rule3))] Gary is nice.[(((triple15) -> rule4))] @2: Dave is quiet.[(((triple5 ((triple5 triple6) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5))] Gary is round.[(((((triple15) -> rule4) triple15) -> rule3))] @3: Gary is quiet.[(((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5))] @4: Gary is smart.[(((((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5)) -> rule2) OR ((triple14 ((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5)) -> rule6) OR ((((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5) ((triple15) -> rule4)) -> rule1))]