Bob is big. Bob is green. Bob is red. Bob is white. Charlie is round. Charlie is white. Charlie is young. Fiona is green. Fiona is red. Harry is big. Harry is red. Harry is young. Red things are young. Round, young things are white. Green, young things are round.
Harry is not round.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4 OR ((((triple2 ((triple3) -> rule1)) -> rule3) ((triple3) -> rule1)) -> rule2))] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple5 triple7) -> rule2))] Charlie is young.[(triple7)] Fiona is green.[(triple8)] Fiona is red.[(triple9)] Harry is big.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule1))] @1: Bob is young.[(((triple3) -> rule1))] Fiona is young.[(((triple9) -> rule1))] @2: Bob is round.[(((triple2 ((triple3) -> rule1)) -> rule3))] Fiona is round.[(((triple8 ((triple9) -> rule1)) -> rule3))] @3: Fiona is white.[(((((triple8 ((triple9) -> rule1)) -> rule3) ((triple9) -> rule1)) -> rule2))]