Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Bob is big. Bob is not furry. Bob is quiet. Bob is round. Bob is smart. Dave is not furry. Dave is not quiet. All quiet things are cold. If Dave is nice then Dave is big. All quiet things are nice.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule3))] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is big.[(triple6)] Bob is not furry.[(triple7)] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10)] Dave is not furry.[(triple11)] Dave is not quiet.[(triple12)] @1: Anne is cold.[(((triple3) -> rule1))] Bob is cold.[(((triple8) -> rule1))] Bob is nice.[(((triple8) -> rule3))]