Bob is nice. Bob is red. Bob is not rough. Charlie is cold. Charlie is nice. Charlie is white. Charlie is young. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Harry is green. Harry is nice. Harry is red. White people are young. Nice, red people are white.
Harry is young.
@0: Bob is nice.[(triple1)] Bob is not rough.[(triple3)] Bob is red.[(triple2)] Charlie is cold.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule1))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12 OR ((triple9 triple10) -> rule2))] Fiona is young.[(triple13 OR ((triple12) -> rule1) OR ((((triple9 triple10) -> rule2)) -> rule1))] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is red.[(triple16)] @1: Bob is white.[(((triple1 triple2) -> rule2))] Harry is white.[(((triple15 triple16) -> rule2))] @2: Bob is young.[(((((triple1 triple2) -> rule2)) -> rule1))] Harry is young.[(((((triple15 triple16) -> rule2)) -> rule1))]