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