Anne is red. Bob is young. Fiona is white. Fiona is young. Harry is kind. Harry is rough. Harry is white. Nice, kind people are rough. Nice people are smart. All kind, rough people are nice. Kind people are white. Smart, white people are young. All smart people are kind. All rough people are red. All nice people are white.
Bob is not rough.
@0: Anne is red.[(triple1)] Bob is young.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7 OR ((triple5) -> rule4) OR ((((triple5 triple6) -> rule3)) -> rule8))] @1: Harry is nice.[(((triple5 triple6) -> rule3))] Harry is red.[(((triple6) -> rule7))] @2: Harry is smart.[(((((triple5 triple6) -> rule3)) -> rule2))] @3: Harry is young.[(((((((triple5 triple6) -> rule3)) -> rule2) triple7) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule2) ((triple5) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule3)) -> rule2) ((((triple5 triple6) -> rule3)) -> rule8)) -> rule5))]