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