Anne is red. Bob is nice. Fiona is furry. Gary is blue. If Gary is red and Gary is not furry then Gary is nice. If something is smart and not big then it is nice. If something is red then it is nice. If something is smart and furry then it is round. All smart things are blue. If something is big then it is red. If something is furry then it is red. If something is nice then it is smart.
Anne is red.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Fiona is furry.[(triple3)] Gary is blue.[(triple4)] @1: Anne is nice.[(((triple1) -> rule3))] Bob is smart.[(((triple2) -> rule8))] Fiona is red.[(((triple3) -> rule7))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule8))] Bob is blue.[(((((triple2) -> rule8)) -> rule5))] Fiona is nice.[(((((triple3) -> rule7)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule3)) -> rule8)) -> rule5))] Fiona is smart.[(((((((triple3) -> rule7)) -> rule3)) -> rule8))] @4: Fiona is blue.[(((((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule5))] Fiona is round.[(((((((((triple3) -> rule7)) -> rule3)) -> rule8) triple3) -> rule4))]