Bob is quiet. Bob is rough. Bob is not white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is not quiet. Fiona is not red. Fiona is not rough. Fiona is white. Gary is blue. Gary is quiet. Harry is blue. Harry is nice. Harry is rough. If someone is furry then they are nice. If someone is white and not rough then they are nice. Furry people are white. All furry people are blue. All quiet people are not furry. If someone is rough and nice then they are furry.
Bob is red.
@0: Bob is not white.[(triple3)] Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple4 OR ((triple5) -> rule4))] Fiona is furry.[(triple5)] Fiona is nice.[(triple6 OR ((triple5) -> rule1) OR ((triple10 triple9) -> rule2) OR ((((triple5) -> rule3) triple9) -> rule2))] Fiona is not quiet.[(triple7)] Fiona is not red.[(triple8)] Fiona is not rough.[(triple9)] Fiona is white.[(triple10 OR ((triple5) -> rule3))] Gary is blue.[(triple11)] Gary is quiet.[(triple12)] Harry is blue.[(triple13 OR ((((triple15 triple14) -> rule6)) -> rule4))] Harry is nice.[(triple14)] Harry is rough.[(triple15)] @1: Bob is not furry.[(((triple1) -> rule5))] Gary is not furry.[(((triple12) -> rule5))] Harry is furry.[(((triple15 triple14) -> rule6))] @2: Harry is white.[(((((triple15 triple14) -> rule6)) -> rule3))]