Anne is quiet. Anne is red. Dave is blue. Dave is furry. Dave is quiet. Dave is red. Erin is blue. Erin is furry. Harry is blue. Harry is quiet. If someone is red then they are smart. If someone is furry then they are big. All nice people are blue.
Harry is not smart.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is smart.[(((triple2) -> rule1))] Dave is big.[(((triple4) -> rule2))] Dave is smart.[(((triple6) -> rule1))] Erin is big.[(((triple8) -> rule2))]