Bob is blue. Bob is white. Bob is young. Gary is blue. Gary is cold. Gary is quiet. Gary is round. Harry is blue. Harry is quiet. Harry is rough. Harry is round. Harry is white. If someone is young then they are quiet. Young, cold people are rough. If someone is rough and quiet then they are round. Young people are white. Quiet, blue people are cold. All blue, rough people are white.
Harry is young.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2 OR ((triple3) -> rule4) OR ((triple1 ((triple3 ((((triple3) -> rule1) triple1) -> rule5)) -> rule2)) -> rule6))] Bob is young.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5 OR ((triple6 triple4) -> rule5))] Gary is quiet.[(triple6)] Gary is round.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11 OR ((triple10 triple9) -> rule3))] Harry is white.[(triple12 OR ((triple8 triple10) -> rule6))] @1: Bob is quiet.[(((triple3) -> rule1))] Harry is cold.[(((triple9 triple8) -> rule5))] @2: Bob is cold.[(((((triple3) -> rule1) triple1) -> rule5))] @3: Bob is rough.[(((triple3 ((((triple3) -> rule1) triple1) -> rule5)) -> rule2))] @4: Bob is round.[(((((triple3 ((((triple3) -> rule1) triple1) -> rule5)) -> rule2) ((triple3) -> rule1)) -> rule3))]