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