Dave is quiet. Fiona is cold. Gary is round. Round, white people are big. If someone is quiet then they are round. If someone is green then they are not kind. If someone is big and green then they are cold. If someone is big and green then they are not cold. If someone is big and not round then they are cold. Big, cold people are green. If someone is round and quiet then they are green.
Gary is cold.
@0: Dave is quiet.[(triple1)] Fiona is cold.[(triple2)] Gary is round.[(triple3)] @1: Dave is round.[(((triple1) -> rule2))] @2: Dave is green.[(((((triple1) -> rule2) triple1) -> rule8))] @3: Dave is not kind.[(((((((triple1) -> rule2) triple1) -> rule8)) -> rule3))]