Erin is red. Erin is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is not quiet. Fiona is white. Fiona is young. Harry is not furry. Harry is nice. Harry is quiet. Harry is young. Nice things are red. Quiet things are red.
Erin is big.
@0: Erin is red.[(triple1)] Erin is young.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Harry is nice.[(triple10)] Harry is not furry.[(triple9)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Fiona is red.[(((triple5) -> rule1))] Harry is red.[(((triple10) -> rule1) OR ((triple11) -> rule2))]