Anne is young. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is young. Dave is cold. Dave is quiet. Dave is red. Harry is furry. All quiet things are red. Nice, cold things are quiet. Young things are furry.
Dave is nice.
@0: Anne is young.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple6) -> rule3))] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple8) -> rule1))] Harry is furry.[(triple10)] @1: Anne is furry.[(((triple1) -> rule3))] Bob is red.[(((triple5) -> rule1))]