Erin is kind. Erin is not nice. Erin is quiet. Erin is red. Erin is white. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is kind. Gary is not quiet. Gary is red. Gary is rough. Gary is smart. If Gary is rough and Gary is not kind then Gary is not white. If someone is kind then they are not nice. If someone is white and not kind then they are nice. If Fiona is white then Fiona is quiet. All quiet, smart people are white. White, rough people are red.
Gary is quiet.
@0: Erin is kind.[(triple1)] Erin is not nice.[(triple2 OR ((triple1) -> rule2))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple11) -> rule4))] Fiona is red.[(triple8 OR ((triple11 triple9) -> rule6) OR ((((triple7 triple10) -> rule5) triple9) -> rule6))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple7 triple10) -> rule5))] Gary is kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is not nice.[(((triple6) -> rule2))] Gary is not nice.[(((triple12) -> rule2))]