Anne is furry. Bob is red. Dave is round. Fiona is kind. All big people are round. If someone is furry then they are big. All kind, round people are furry. All big people are round. Furry people are blue. All white, red people are furry.
Anne is round.
@0: Anne is furry.[(triple1)] Bob is red.[(triple2)] Dave is round.[(triple3)] Fiona is kind.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))] Anne is blue.[(((triple1) -> rule5))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule2)) -> rule4))]