Charlie is white. Dave is big. Fiona is not big. Gary is not smart. If someone is furry and not red then they are round. If someone is big then they are round. If someone is furry and not big then they are smart. If someone is blue and furry then they are not smart. If someone is round then they are blue. If someone is big and red then they are blue. If someone is round and not red then they are furry. If Dave is blue then Dave is furry.
Dave is blue.
@0: Charlie is white.[(triple1)] Dave is big.[(triple2)] Fiona is not big.[(triple3)] Gary is not smart.[(triple4)] @1: Dave is round.[(((triple2) -> rule2))] @2: Dave is blue.[(((((triple2) -> rule2)) -> rule5))] @3: Dave is furry.[(((((((triple2) -> rule2)) -> rule5)) -> rule8))] @4: Dave is not smart.[(((((((triple2) -> rule2)) -> rule5) ((((((triple2) -> rule2)) -> rule5)) -> rule8)) -> rule4))]