Bob is furry. Bob is white. Erin is quiet. Erin is red. Fiona is not furry. Fiona is red. Gary is big. Gary is blue. Gary is quiet. Gary is red. Furry, white things are big.
Erin is not big.
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Fiona is not furry.[(triple5)] Fiona is red.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] @1: Bob is big.[(((triple1 triple2) -> rule1))]