Anne is blue. Anne is kind. Anne is quiet. Bob is not kind. Bob is young. Erin is white. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Nice people are kind. All white, quiet people are blue. Kind, nice people are quiet. Rough people are nice. If someone is white then they are rough. All blue, nice people are rough.
Erin is rough.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Bob is not kind.[(triple4)] Bob is young.[(triple5)] Erin is white.[(triple6)] Gary is blue.[(triple7)] Gary is kind.[(triple8 OR ((triple9) -> rule1) OR ((((triple11) -> rule4)) -> rule1))] Gary is nice.[(triple9 OR ((triple11) -> rule4))] Gary is quiet.[(triple10 OR ((triple8 triple9) -> rule3) OR ((triple8 ((triple11) -> rule4)) -> rule3) OR ((((triple9) -> rule1) triple9) -> rule3) OR ((((triple9) -> rule1) ((triple11) -> rule4)) -> rule3) OR ((((((triple11) -> rule4)) -> rule1) triple9) -> rule3) OR ((((((triple11) -> rule4)) -> rule1) ((triple11) -> rule4)) -> rule3))] Gary is rough.[(triple11 OR ((triple7 triple9) -> rule6))] @1: Erin is rough.[(((triple6) -> rule5))] @2: Erin is nice.[(((((triple6) -> rule5)) -> rule4))] @3: Erin is kind.[(((((((triple6) -> rule5)) -> rule4)) -> rule1))] @4: Erin is quiet.[(((((((((triple6) -> rule5)) -> rule4)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule3))] @5: Erin is blue.[(((triple6 ((((((((triple6) -> rule5)) -> rule4)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule3)) -> rule2))]