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