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