Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Erin is big. Erin is kind. Erin is quiet. Fiona is quiet. Fiona is red. All young, red things are kind. Big things are young.
Erin is not young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] @1: Erin is young.[(((triple6) -> rule2))]