Anne is green. Anne is red. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Dave is not smart. Dave is white. Dave is young. Harry is rough. Harry is not smart. Harry is white. Green, nice people are smart. All red people are white. If Anne is smart then Anne is young. All young, green people are rough. If someone is white and red then they are nice.
Harry is nice.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is nice.[(triple3 OR ((triple6 triple4) -> rule5) OR ((((triple4) -> rule2) triple4) -> rule5))] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple4) -> rule2))] Dave is not smart.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Harry is not smart.[(triple11)] Harry is rough.[(triple10)] Harry is white.[(triple12)] @1: Anne is white.[(((triple2) -> rule2))] @2: Anne is nice.[(((((triple2) -> rule2) triple2) -> rule5))] @3: Anne is smart.[(((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule1))] @4: Anne is young.[(((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule1)) -> rule3))] @5: Anne is rough.[(((((((triple1 ((((triple2) -> rule2) triple2) -> rule5)) -> rule1)) -> rule3) triple1) -> rule4))]