Bob is blue. Dave is nice. Dave is white. Erin is blue. Erin is white. Fiona is big. Fiona is not nice. Big things are furry. Blue, nice things are furry. If something is white and kind then it is blue. Furry, round things are blue. All white things are round. If something is furry then it is white. Round things are white. If something is blue then it is kind.
Fiona is blue.
@0: Bob is blue.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3)] Erin is blue.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is not nice.[(triple7)] @1: Bob is kind.[(((triple1) -> rule8))] Dave is round.[(((triple3) -> rule5))] Erin is kind.[(((triple4) -> rule8))] Erin is round.[(((triple5) -> rule5))] Fiona is furry.[(((triple6) -> rule1))] @2: Fiona is white.[(((((triple6) -> rule1)) -> rule6))] @3: Fiona is round.[(((((((triple6) -> rule1)) -> rule6)) -> rule5))] @4: Fiona is blue.[(((((triple6) -> rule1) ((((((triple6) -> rule1)) -> rule6)) -> rule5)) -> rule4))] @5: Fiona is kind.[(((((((triple6) -> rule1) ((((((triple6) -> rule1)) -> rule6)) -> rule5)) -> rule4)) -> rule8))]