Bob is red. Dave is blue. Dave is kind. If someone is rough then they are round. Blue people are red. If someone is quiet then they are rough. All red people are rough. If someone is rough then they are quiet. If someone is white and round then they are quiet. If Dave is white and Dave is round then Dave is not blue. Rough people are not white.
Bob is kind.
@0: Bob is red.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] @1: Bob is rough.[(((triple1) -> rule4))] Dave is red.[(((triple2) -> rule2))] @2: Bob is not white.[(((((triple1) -> rule4)) -> rule8))] Bob is quiet.[(((((triple1) -> rule4)) -> rule5))] Bob is round.[(((((triple1) -> rule4)) -> rule1))] Dave is rough.[(((((triple2) -> rule2)) -> rule4))] @3: Dave is not white.[(((((((triple2) -> rule2)) -> rule4)) -> rule8))] Dave is quiet.[(((((((triple2) -> rule2)) -> rule4)) -> rule5))] Dave is round.[(((((((triple2) -> rule2)) -> rule4)) -> rule1))]