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