Anne is blue. Fiona is white. Gary is young. Green people are smart. All blue people are kind. Furry people are white. If Gary is blue then Gary is kind. All smart people are blue. If someone is white then they are smart. All kind people are furry. If Anne is kind then Anne is furry.
Gary is furry.
@0: Anne is blue.[(triple1)] Fiona is white.[(triple2)] Gary is young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Fiona is smart.[(((triple2) -> rule6))] @2: Anne is furry.[(((((triple1) -> rule2)) -> rule7) OR ((((triple1) -> rule2)) -> rule8))] Fiona is blue.[(((((triple2) -> rule6)) -> rule5))] @3: Anne is white.[(((((((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8)) -> rule3))] Fiona is kind.[(((((((triple2) -> rule6)) -> rule5)) -> rule2))] @4: Anne is smart.[(((((((((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule8)) -> rule3)) -> rule6))] Fiona is furry.[(((((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7))]