Bob is white. Charlie is quiet. Fiona is young. Gary is smart. All white people are smart. If Fiona is cold then Fiona is red. All smart people are young. Smart, young people are red. If Charlie is smart then Charlie is white. Smart people are young.
Bob is not young.
@0: Bob is white.[(triple1)] Charlie is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is smart.[(triple4)] @1: Bob is smart.[(((triple1) -> rule1))] Gary is young.[(((triple4) -> rule3) OR ((triple4) -> rule6))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1)) -> rule6))] Gary is red.[(((triple4 ((triple4) -> rule3)) -> rule4) OR ((triple4 ((triple4) -> rule6)) -> rule4))] @3: Bob is red.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule4))]