Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is smart. Bob is white. Charlie is furry. Charlie is red. Charlie is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is white. Harry is furry. Harry is green. Harry is smart. Furry people are red. Red people are nice. All furry, nice people are white.
Harry is nice.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple1 ((triple4) -> rule2)) -> rule3) OR ((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule3))] Charlie is furry.[(triple7)] Charlie is red.[(triple8 OR ((triple7) -> rule1))] Charlie is smart.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12 OR ((((triple10) -> rule1)) -> rule2))] Fiona is white.[(triple13 OR ((triple10 triple12) -> rule3) OR ((triple10 ((((triple10) -> rule1)) -> rule2)) -> rule3))] Harry is furry.[(triple14)] Harry is green.[(triple15)] Harry is smart.[(triple16)] @1: Bob is nice.[(((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is nice.[(((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Fiona is red.[(((triple10) -> rule1))] Harry is red.[(((triple14) -> rule1))] @2: Charlie is white.[(((triple7 ((triple8) -> rule2)) -> rule3) OR ((triple7 ((((triple7) -> rule1)) -> rule2)) -> rule3))] Harry is nice.[(((((triple14) -> rule1)) -> rule2))] @3: Harry is white.[(((triple14 ((((triple14) -> rule1)) -> rule2)) -> rule3))]