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