Dave is not blue. Dave is white. Dave is young. Fiona is big. Fiona is not furry. Fiona is quiet. Fiona is red. Fiona is white. Harry is blue. Harry is not red. If someone is white then they are quiet. Furry people are quiet. If someone is red and not furry then they are quiet. If someone is furry and red then they are white. All red, white people are blue. If someone is red then they are blue. All furry, blue people are big. If Dave is young and Dave is not quiet then Dave is not blue.
Harry is not white.
@0: Dave is not blue.[(triple1)] Dave is white.[(triple2)] Dave is young.[(triple3)] Fiona is big.[(triple4)] Fiona is not furry.[(triple5)] Fiona is quiet.[(triple6 OR ((triple8) -> rule1) OR ((triple7 triple5) -> rule3))] Fiona is red.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple9)] Harry is not red.[(triple10)] @1: Dave is quiet.[(((triple2) -> rule1))] Fiona is blue.[(((triple7) -> rule6) OR ((triple7 triple8) -> rule5))]