Bob is kind. Charlie is blue. Charlie is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is young. Harry is big. Harry is kind. Harry is smart. Quiet, green people are young.
Charlie is kind.
@0: Bob is kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9 OR ((triple7 triple6) -> rule1))] Harry is big.[(triple10)] Harry is kind.[(triple11)] Harry is smart.[(triple12)]