Bob is quiet. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Erin is quiet. Erin is white. All white, big people are nice. If someone is blue and kind then they are quiet. If someone is quiet and blue then they are furry. Quiet, kind people are nice. White people are big. Furry, nice people are big. If someone is nice then they are furry. If Erin is blue and Erin is furry then Erin is nice.
Dave is furry.
@0: Bob is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule7) OR ((triple5 triple2) -> rule3))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] @1: Dave is big.[(((triple3 triple4) -> rule6) OR ((((triple4) -> rule7) triple4) -> rule6) OR ((((triple5 triple2) -> rule3) triple4) -> rule6))] Erin is big.[(((triple7) -> rule5))] @2: Erin is nice.[(((triple7 ((triple7) -> rule5)) -> rule1))] @3: Erin is furry.[(((((triple7 ((triple7) -> rule5)) -> rule1)) -> rule7))]