Bob is big. Fiona is red. Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is red. If something is red then it is green. All red, cold things are blue.
Fiona is red.
@0: Bob is big.[(triple1)] Fiona is red.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5 OR ((triple7) -> rule1))] Gary is quiet.[(triple6)] Gary is red.[(triple7)] @1: Fiona is green.[(((triple2) -> rule1))]