Charlie is nice. Charlie is rough. Charlie is young. Dave is blue. Dave is nice. Dave is rough. Dave is white. Erin is blue. Erin is rough. Erin is round. Erin is white. Gary is blue. Gary is rough. Gary is round. Gary is white. Gary is young. Young, blue people are rough. If someone is kind then they are young. If someone is round and rough then they are kind. If someone is blue and young then they are rough. Kind, nice people are young. If Gary is round and Gary is white then Gary is young. Nice people are blue. Nice people are blue.
Erin is not rough.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2 OR ((triple3 ((triple1) -> rule7)) -> rule1) OR ((triple3 ((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule7) triple3) -> rule4) OR ((((triple1) -> rule8) triple3) -> rule4))] Charlie is young.[(triple3)] Dave is blue.[(triple4 OR ((triple5) -> rule7) OR ((triple5) -> rule8))] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Erin is blue.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11)] Gary is blue.[(triple12)] Gary is rough.[(triple13 OR ((triple12 triple16) -> rule4) OR ((triple16 triple12) -> rule1) OR ((triple12 ((triple14 triple15) -> rule6)) -> rule4) OR ((((triple14 triple15) -> rule6) triple12) -> rule1))] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple14 triple15) -> rule6) OR ((((triple14 triple13) -> rule3)) -> rule2))] @1: Charlie is blue.[(((triple1) -> rule7) OR ((triple1) -> rule8))] Erin is kind.[(((triple10 triple9) -> rule3))] Gary is kind.[(((triple14 triple13) -> rule3) OR ((triple14 ((triple12 triple16) -> rule4)) -> rule3) OR ((triple14 ((triple16 triple12) -> rule1)) -> rule3) OR ((triple14 ((triple12 ((triple14 triple15) -> rule6)) -> rule4)) -> rule3) OR ((triple14 ((((triple14 triple15) -> rule6) triple12) -> rule1)) -> rule3))] @2: Erin is young.[(((((triple10 triple9) -> rule3)) -> rule2))]