Charlie is blue. Gary is big. Gary is blue. Gary is kind. Gary is round. Gary is smart. Gary is young. Harry is blue. Harry is round. Harry is young. If Harry is round then Harry is rough. Rough, blue people are round. All young, big people are round. If someone is rough and blue then they are kind. All young people are round. If Gary is young then Gary is smart. If someone is big then they are round. Smart, rough people are young.
Charlie is not round.
@0: Charlie is blue.[(triple1)] Gary is big.[(triple2)] Gary is blue.[(triple3)] Gary is kind.[(triple4)] Gary is round.[(triple5 OR ((triple2) -> rule7) OR ((triple7) -> rule5) OR ((triple7 triple2) -> rule3))] Gary is smart.[(triple6 OR ((triple7) -> rule6))] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule5))] Harry is young.[(triple10)] @1: Harry is rough.[(((triple9) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] @2: Harry is kind.[(((((triple9) -> rule1) triple8) -> rule4) OR ((((((triple10) -> rule5)) -> rule1) triple8) -> rule4))]