Bob is big. Bob is nice. Bob is quiet. Bob is white. Erin is rough. Erin is young. Fiona is kind. Harry is big. Harry is kind. Harry is young. Kind, young things are quiet. Nice, big things are rough. All nice, big things are white.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4 OR ((triple2 triple1) -> rule3))] Erin is rough.[(triple5)] Erin is young.[(triple6)] Fiona is kind.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Bob is rough.[(((triple2 triple1) -> rule2))] Harry is quiet.[(((triple9 triple10) -> rule1))]