Anne is blue. Anne is nice. Bob is blue. Bob is round. Dave is kind. Dave is not nice. Erin is nice. If someone is white then they are kind. If Anne is not round then Anne is not kind. If someone is round and not blue then they are not white. All nice, round people are rough. All blue people are nice. If someone is kind and smart then they are nice. If someone is nice and not white then they are not smart. If someone is rough then they are not smart.
Erin is kind.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule5))] Bob is blue.[(triple3)] Bob is round.[(triple4)] Dave is kind.[(triple5)] Dave is not nice.[(triple6)] Erin is nice.[(triple7)] @1: Bob is nice.[(((triple3) -> rule5))] @2: Bob is rough.[(((((triple3) -> rule5) triple4) -> rule4))] @3: Bob is not smart.[(((((((triple3) -> rule5) triple4) -> rule4)) -> rule8))]