Erin is blue. Erin is green. Erin is kind. Erin is not rough. Erin is white. Erin is young. Gary is not big. Gary is blue. Gary is green. Gary is kind. Gary is rough. Gary is young. All big people are not rough. All green people are young. All rough people are kind. If someone is kind and white then they are not big. If Gary is rough and Gary is blue then Gary is white. If someone is kind then they are white. If someone is kind and big then they are blue. If Erin is big then Erin is not green.
Erin is young.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is not rough.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule6))] Erin is young.[(triple6 OR ((triple2) -> rule2))] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule3))] Gary is not big.[(triple7 OR ((triple10 ((triple10) -> rule6)) -> rule4) OR ((triple10 ((triple11 triple8) -> rule5)) -> rule4) OR ((((triple11) -> rule3) ((triple10) -> rule6)) -> rule4) OR ((((triple11) -> rule3) ((triple11 triple8) -> rule5)) -> rule4) OR ((triple10 ((((triple11) -> rule3)) -> rule6)) -> rule4) OR ((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule4))] Gary is rough.[(triple11)] Gary is young.[(triple12 OR ((triple9) -> rule2))] @1: Erin is not big.[(((triple3 triple5) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))] Gary is white.[(((triple10) -> rule6) OR ((triple11 triple8) -> rule5) OR ((((triple11) -> rule3)) -> rule6))]