Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is young. Erin is quiet. Fiona is nice. Fiona is white. Harry is big. Harry is blue. Harry is furry. Harry is quiet. All white people are furry. White, furry people are quiet. If someone is quiet then they are blue.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule3))] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Erin is quiet.[(triple6)] Fiona is nice.[(triple7)] Fiona is white.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10 OR ((triple12) -> rule3))] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Erin is blue.[(((triple6) -> rule3))] Fiona is furry.[(((triple8) -> rule1))] @2: Fiona is quiet.[(((triple8 ((triple8) -> rule1)) -> rule2))] @3: Fiona is blue.[(((((triple8 ((triple8) -> rule1)) -> rule2)) -> rule3))]