Bob is rough. Bob is white. Charlie is nice. Charlie is not red. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Gary is rough. Gary is not white. All red people are kind. If someone is cold and quiet then they are white. All rough people are cold. All cold people are rough. Quiet people are rough. All cold, white people are red. If Bob is not quiet then Bob is white. If Gary is rough and Gary is not red then Gary is nice.
Charlie is not cold.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Charlie is nice.[(triple3)] Charlie is not red.[(triple4)] Erin is cold.[(triple5 OR ((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((triple5) -> rule4) OR ((triple6) -> rule5))] Erin is white.[(triple8 OR ((triple5 triple6) -> rule2) OR ((((triple7) -> rule3) triple6) -> rule2) OR ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2))] Gary is not white.[(triple10)] Gary is rough.[(triple9)] @1: Bob is cold.[(((triple1) -> rule3))] Erin is red.[(((triple5 triple8) -> rule6) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) triple8) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6) OR ((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6))] Gary is cold.[(((triple9) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3) triple2) -> rule6))] Erin is kind.[(((((triple5 triple8) -> rule6)) -> rule1) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((triple5 triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((triple7) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((triple5 ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule3) triple6) -> rule2)) -> rule6)) -> rule1))] @3: Bob is kind.[(((((((triple1) -> rule3) triple2) -> rule6)) -> rule1))]