Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Erin is kind. Erin is round. Erin is smart. Fiona is furry. Fiona is kind. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is smart. If Erin is rough then Erin is round. If Erin is kind and Erin is round then Erin is red. If someone is blue then they are red. If Charlie is round and Charlie is kind then Charlie is red. If someone is red then they are rough. If Fiona is furry and Fiona is rough then Fiona is kind. All red, round people are furry. Kind, blue people are furry.
Gary is not round.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple4 triple5) -> rule7) OR ((((triple1) -> rule3) triple5) -> rule7) OR ((((triple5 triple3) -> rule4) triple5) -> rule7))] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple1) -> rule3) OR ((triple5 triple3) -> rule4))] Charlie is round.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Gary is furry.[(triple11 OR ((triple13 triple14) -> rule7))] Gary is kind.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Charlie is rough.[(((triple4) -> rule5) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule4)) -> rule5))] Erin is red.[(((triple6 triple7) -> rule2))] Gary is rough.[(((triple13) -> rule5))] @2: Erin is furry.[(((((triple6 triple7) -> rule2) triple7) -> rule7))] Erin is rough.[(((((triple6 triple7) -> rule2)) -> rule5))]