Charlie is green. Charlie is nice. Charlie is rough. Harry is green. Harry is red. Harry is rough. Harry is young. All smart, red people are quiet. If someone is quiet and smart then they are red. If someone is green then they are red. All red, rough people are nice. Nice, red people are smart. All rough, quiet people are nice.
Harry is young.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2 OR ((((triple1) -> rule3) triple3) -> rule4))] Charlie is rough.[(triple3)] Harry is green.[(triple4)] Harry is red.[(triple5 OR ((triple4) -> rule3))] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Charlie is red.[(((triple1) -> rule3))] Harry is nice.[(((triple5 triple6) -> rule4) OR ((((triple4) -> rule3) triple6) -> rule4))] @2: Charlie is smart.[(((triple2 ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3) triple3) -> rule4) ((triple1) -> rule3)) -> rule5))] Harry is smart.[(((((triple5 triple6) -> rule4) triple5) -> rule5) OR ((((triple5 triple6) -> rule4) ((triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule3) triple6) -> rule4) triple5) -> rule5) OR ((((((triple4) -> rule3) triple6) -> rule4) ((triple4) -> rule3)) -> rule5))] @3: Charlie is quiet.[(((((triple2 ((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule3) triple3) -> rule4) ((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1))] Harry is quiet.[(((((((triple5 triple6) -> rule4) triple5) -> rule5) triple5) -> rule1) OR ((((((triple5 triple6) -> rule4) triple5) -> rule5) ((triple4) -> rule3)) -> rule1) OR ((((((triple5 triple6) -> rule4) ((triple4) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple5 triple6) -> rule4) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule1) OR ((((((((triple4) -> rule3) triple6) -> rule4) triple5) -> rule5) triple5) -> rule1) OR ((((((((triple4) -> rule3) triple6) -> rule4) triple5) -> rule5) ((triple4) -> rule3)) -> rule1) OR ((((((((triple4) -> rule3) triple6) -> rule4) ((triple4) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((((triple4) -> rule3) triple6) -> rule4) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule1))]