Bob is round. Charlie is furry. Charlie is nice. Charlie is red. Dave is quiet. Dave is round. Gary is nice. If something is quiet then it is blue. Furry, blue things are rough. If something is red then it is blue. All rough, red things are round. If something is nice and blue then it is red. If Gary is round then Gary is blue. All red, rough things are round. If Bob is nice then Bob is blue.
Gary is round.
@0: Bob is round.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Gary is nice.[(triple7)] @1: Charlie is blue.[(((triple4) -> rule3))] Dave is blue.[(((triple5) -> rule1))] @2: Charlie is rough.[(((triple2 ((triple4) -> rule3)) -> rule2))] @3: Charlie is round.[(((triple4 ((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((triple2 ((triple4) -> rule3)) -> rule2) triple4) -> rule4))]