Charlie is quiet. Erin is quiet. Fiona is big. Fiona is furry. Gary is cold. Gary is green. Gary is round. Round people are big. If someone is green and red then they are quiet. Cold, green people are round. All cold people are red. Furry people are big. If someone is quiet then they are green.
Erin is quiet.
@0: Charlie is quiet.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3 OR ((triple4) -> rule5))] Fiona is furry.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7 OR ((triple5 triple6) -> rule3))] @1: Charlie is green.[(((triple1) -> rule6))] Erin is green.[(((triple2) -> rule6))] Gary is big.[(((triple7) -> rule1) OR ((((triple5 triple6) -> rule3)) -> rule1))] Gary is red.[(((triple5) -> rule4))] @2: Gary is quiet.[(((triple6 ((triple5) -> rule4)) -> rule2))]