Charlie is rough. Dave is smart. Erin is smart. Fiona is rough. If someone is rough then they are red. If someone is red and not rough then they are smart. If someone is red then they are blue.
Charlie is not smart.
@0: Charlie is rough.[(triple1)] Dave is smart.[(triple2)] Erin is smart.[(triple3)] Fiona is rough.[(triple4)] @1: Charlie is red.[(((triple1) -> rule1))] Fiona is red.[(((triple4) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule1)) -> rule3))] Fiona is blue.[(((((triple4) -> rule1)) -> rule3))]