Anne is big. Anne is blue. Anne is furry. Anne is kind. Erin is rough. Fiona is big. Fiona is blue. Fiona is kind. Fiona is rough. Gary is big. All furry people are blue. If someone is big and quiet then they are kind.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule1))] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Erin is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Gary is big.[(triple10)]