Dave is furry. Dave is quiet. Dave is rough. Dave is young. Erin is furry. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is young. If someone is big then they are quiet. If someone is rough and big then they are blue. If Dave is furry and Dave is blue then Dave is cold. All furry people are quiet. If someone is quiet then they are furry. All big people are blue. All young, rough people are cold. If Fiona is furry and Fiona is cold then Fiona is rough.
Dave is not blue.
@0: Dave is furry.[(triple1 OR ((triple2) -> rule5))] Dave is quiet.[(triple2 OR ((triple1) -> rule4))] Dave is rough.[(triple3)] Dave is young.[(triple4)] Erin is furry.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple10 triple9) -> rule7))] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((((triple8) -> rule5) triple7) -> rule8))] Fiona is young.[(triple10)] @1: Dave is cold.[(((triple4 triple3) -> rule7))] Erin is quiet.[(((triple5) -> rule4))] Fiona is furry.[(((triple8) -> rule5))]