Bob is furry. Bob is white. Fiona is furry. Fiona is white. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is young. If Fiona is smart and Fiona is white then Fiona is rough. If someone is young and red then they are nice. Smart, nice people are young. Young people are nice. If Gary is furry then Gary is white. All smart people are white.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Fiona is furry.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6 OR ((triple10) -> rule4) OR ((triple10 triple7) -> rule2))] Gary is red.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple9 triple6) -> rule3))] @1: Gary is white.[(((triple5) -> rule5) OR ((triple9) -> rule6))]