Bob is green. Bob is young. Charlie is nice. Charlie is round. Charlie is smart. Gary is green. Gary is round. Gary is smart. Gary is young. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is young. If someone is smart and nice then they are young. If someone is young then they are red.
Charlie is red.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple15) -> rule2))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Bob is red.[(((triple2) -> rule2))] Charlie is young.[(((triple5 triple3) -> rule1))] Gary is red.[(((triple9) -> rule2))] @2: Charlie is red.[(((((triple5 triple3) -> rule1)) -> rule2))]