Charlie is cold. Erin is big. Fiona is red. Gary is cold. Cold, quiet things are green. If something is big and green then it is quiet. If something is big and cold then it is green. Red things are big. Cold things are red. If something is quiet then it is big.
Gary is not big.
@0: Charlie is cold.[(triple1)] Erin is big.[(triple2)] Fiona is red.[(triple3)] Gary is cold.[(triple4)] @1: Charlie is red.[(((triple1) -> rule5))] Fiona is big.[(((triple3) -> rule4))] Gary is red.[(((triple4) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule5)) -> rule4))] Gary is big.[(((((triple4) -> rule5)) -> rule4))] @3: Charlie is green.[(((((((triple1) -> rule5)) -> rule4) triple1) -> rule3))] Gary is green.[(((((((triple4) -> rule5)) -> rule4) triple4) -> rule3))] @4: Charlie is quiet.[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4) triple1) -> rule3)) -> rule2))] Gary is quiet.[(((((((triple4) -> rule5)) -> rule4) ((((((triple4) -> rule5)) -> rule4) triple4) -> rule3)) -> rule2))]