Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. If Charlie is kind and Charlie is young then Charlie is green. If something is green and nice then it is kind. All green, young things are rough. If something is smart then it is nice. All rough, nice things are smart. If Charlie is quiet and Charlie is young then Charlie is nice.
Charlie is rough.
@0: Charlie is green.[(triple1 OR ((triple2 triple7) -> rule1))] Charlie is kind.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple6) -> rule4)) -> rule2) OR ((triple1 ((triple4 triple7) -> rule6)) -> rule2))] Charlie is nice.[(triple3 OR ((triple6) -> rule4) OR ((triple4 triple7) -> rule6))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple1 triple7) -> rule3) OR ((((triple2 triple7) -> rule1) triple7) -> rule3))] Charlie is smart.[(triple6 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple4 triple7) -> rule6)) -> rule5) OR ((((triple1 triple7) -> rule3) triple3) -> rule5) OR ((((triple1 triple7) -> rule3) ((triple4 triple7) -> rule6)) -> rule5) OR ((((((triple2 triple7) -> rule1) triple7) -> rule3) triple3) -> rule5) OR ((((((triple2 triple7) -> rule1) triple7) -> rule3) ((triple4 triple7) -> rule6)) -> rule5))] Charlie is young.[(triple7)]