Charlie is green. Dave is cold. Erin is quiet. Fiona is red. Cold people are red. If Erin is white and Erin is quiet then Erin is red. If someone is red then they are green. If someone is quiet then they are green. All quiet people are green. If Charlie is nice then Charlie is big.
Erin is nice.
@0: Charlie is green.[(triple1)] Dave is cold.[(triple2)] Erin is quiet.[(triple3)] Fiona is red.[(triple4)] @1: Dave is red.[(((triple2) -> rule1))] Erin is green.[(((triple3) -> rule4) OR ((triple3) -> rule5))] Fiona is green.[(((triple4) -> rule3))] @2: Dave is green.[(((((triple2) -> rule1)) -> rule3))]