Bob is blue. Charlie is rough. Gary is blue. If someone is furry then they are quiet. All rough people are quiet. Red people are quiet. All quiet, rough people are red. All red people are not big. If Gary is rough and Gary is quiet then Gary is blue. If someone is red then they are blue. If someone is rough and not big then they are blue.
Bob is quiet.
@0: Bob is blue.[(triple1)] Charlie is rough.[(triple2)] Gary is blue.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule2))] @2: Charlie is red.[(((((triple2) -> rule2) triple2) -> rule4))] @3: Charlie is blue.[(((((((triple2) -> rule2) triple2) -> rule4)) -> rule7) OR ((triple2 ((((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule8))] Charlie is not big.[(((((((triple2) -> rule2) triple2) -> rule4)) -> rule5))]