Bob is white. Harry is green. All round, smart things are young. If something is rough and green then it is red. All red things are white. Green things are smart. If Bob is young and Bob is smart then Bob is round. All white, smart things are rough. Round, white things are red. Young, smart things are round.
Bob is not round.
@0: Bob is white.[(triple1)] Harry is green.[(triple2)] @1: Harry is smart.[(((triple2) -> rule4))]