Dave is kind. Dave is young. Gary is kind. If Gary is big then Gary is blue. If someone is quiet and young then they are not red. Quiet people are big. If someone is blue then they are quiet. If someone is kind then they are blue. Red, young people are kind. All rough people are kind. If someone is kind and blue then they are rough.
Dave is red.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Gary is kind.[(triple3)] @1: Dave is blue.[(((triple1) -> rule5))] Gary is blue.[(((triple3) -> rule5))] @2: Dave is quiet.[(((((triple1) -> rule5)) -> rule4))] Dave is rough.[(((triple1 ((triple1) -> rule5)) -> rule8))] Gary is quiet.[(((((triple3) -> rule5)) -> rule4))] Gary is rough.[(((triple3 ((triple3) -> rule5)) -> rule8))] @3: Dave is big.[(((((((triple1) -> rule5)) -> rule4)) -> rule3))] Dave is not red.[(((((((triple1) -> rule5)) -> rule4) triple2) -> rule2))] Gary is big.[(((((((triple3) -> rule5)) -> rule4)) -> rule3))]