Bob is furry. Charlie is not red. Dave is not furry. Fiona is big. All white people are blue. Quiet people are not blue. If Bob is furry then Bob is white. If Charlie is quiet then Charlie is furry. All furry people are red. If someone is furry and blue then they are big.
Dave is not big.
@0: Bob is furry.[(triple1)] Charlie is not red.[(triple2)] Dave is not furry.[(triple3)] Fiona is big.[(triple4)] @1: Bob is red.[(((triple1) -> rule5))] Bob is white.[(((triple1) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is big.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6))]