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