Anne is blue. Anne is furry. Anne is kind. Anne is young. Bob is furry. Bob is round. Bob is smart. Bob is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is young. Gary is furry. Gary is kind. If someone is round and smart then they are kind. All young people are furry. All nice, round people are kind.
Anne is not furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule2))] Anne is kind.[(triple3)] Anne is young.[(triple4)] Bob is furry.[(triple5 OR ((triple8) -> rule2))] Bob is round.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple14) -> rule2))] Fiona is kind.[(triple11 OR ((triple12 triple13) -> rule3))] Fiona is nice.[(triple12)] Fiona is round.[(triple13)] Fiona is young.[(triple14)] Gary is furry.[(triple15)] Gary is kind.[(triple16)] @1: Bob is kind.[(((triple6 triple7) -> rule1))]