Bob is kind. Bob is round. Bob is white. Fiona is not kind. Fiona is not nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Gary is round. Nice people are not quiet. If someone is quiet and not white then they are furry. If someone is nice then they are kind. If someone is furry and not quiet then they are round. All furry people are round. Kind, round people are smart. If someone is kind and not nice then they are smart. If someone is round and not kind then they are smart.
Bob is not furry.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8 OR ((triple7 triple4) -> rule8))] Fiona is white.[(triple9)] Gary is round.[(triple10)] @1: Bob is smart.[(((triple1 triple2) -> rule6))]