Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is young. Erin is blue. Erin is red. Fiona is green. Fiona is quiet. Gary is blue. Gary is green. Gary is kind. Gary is red. Gary is young. If Gary is quiet and Gary is green then Gary is young. Young, kind people are quiet. All quiet, blue people are green. Kind people are quiet. If Gary is kind then Gary is blue. All blue people are rough.
Gary is not young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4 triple1) -> rule3) OR ((((triple3) -> rule4) triple1) -> rule3) OR ((((triple6 triple3) -> rule2) triple1) -> rule3))] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple3) -> rule4) OR ((triple6 triple3) -> rule2))] Bob is red.[(triple5)] Bob is young.[(triple6)] Erin is blue.[(triple7)] Erin is red.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Gary is blue.[(triple11 OR ((triple13) -> rule5))] Gary is green.[(triple12 OR ((((triple13) -> rule4) triple11) -> rule3) OR ((((triple15 triple13) -> rule2) triple11) -> rule3) OR ((((triple13) -> rule4) ((triple13) -> rule5)) -> rule3) OR ((((triple15 triple13) -> rule2) ((triple13) -> rule5)) -> rule3))] Gary is kind.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15 OR ((((triple13) -> rule4) triple12) -> rule1) OR ((((triple13) -> rule4) ((((triple13) -> rule4) triple11) -> rule3)) -> rule1) OR ((((triple13) -> rule4) ((((triple13) -> rule4) ((triple13) -> rule5)) -> rule3)) -> rule1))] @1: Bob is rough.[(((triple1) -> rule6))] Erin is rough.[(((triple7) -> rule6))] Gary is quiet.[(((triple13) -> rule4) OR ((triple15 triple13) -> rule2))] Gary is rough.[(((triple11) -> rule6) OR ((((triple13) -> rule5)) -> rule6))]