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