Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Fiona is red. Gary is big. Gary is furry. Gary is quiet. Harry is nice. Harry is red. Red, quiet people are nice.
Harry is nice.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple6 triple5) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Fiona is red.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)]