Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is not young. Erin is kind. Erin is quiet. Erin is red. Erin is young. Fiona is red. Fiona is smart. Gary is furry. Gary is kind. Gary is rough. Gary is not smart. If something is smart then it is furry. All kind things are red. If Fiona is kind and Fiona is furry then Fiona is not smart.
Erin is not furry.
@0: Charlie is furry.[(triple1)] Charlie is not young.[(triple5)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple6) -> rule2))] Erin is young.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)] @1: Fiona is furry.[(((triple11) -> rule1))] Gary is red.[(((triple13) -> rule2))]