Bob is quiet. Dave is red. Dave is not rough. Erin is quiet. Erin is red. Harry is not round. Harry is not smart. If something is quiet then it is red. If Bob is quiet and Bob is red then Bob is rough. If Dave is young then Dave is round. All red, young things are rough. Rough, quiet things are not young. Rough, kind things are not young. If something is rough and not red then it is not young. If something is kind and not young then it is not round.
Harry is not red.
@0: Bob is quiet.[(triple1)] Dave is not rough.[(triple3)] Dave is red.[(triple2)] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple4) -> rule1))] Harry is not round.[(triple6)] Harry is not smart.[(triple7)] @1: Bob is red.[(((triple1) -> rule1))] @2: Bob is rough.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: Bob is not young.[(((((triple1 ((triple1) -> rule1)) -> rule2) triple1) -> rule5))]