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