Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is nice. Harry is rough. Harry is smart. Harry is young. Young, rough people are nice. If Charlie is rough then Charlie is kind. If someone is red and quiet then they are kind. If Harry is young then Harry is nice. All nice people are quiet. If Harry is smart then Harry is rough.
Harry is red.
@0: Charlie is kind.[(triple1 OR ((triple3) -> rule2))] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Gary is kind.[(triple5 OR ((triple8 triple7) -> rule3) OR ((triple8 ((triple6) -> rule5)) -> rule3) OR ((triple8 ((((triple11 triple9) -> rule1)) -> rule5)) -> rule3))] Gary is nice.[(triple6 OR ((triple11 triple9) -> rule1))] Gary is quiet.[(triple7 OR ((triple6) -> rule5) OR ((((triple11 triple9) -> rule1)) -> rule5))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11)] Harry is nice.[(triple12 OR ((triple15) -> rule4) OR ((triple15 triple13) -> rule1) OR ((triple15 ((triple14) -> rule6)) -> rule1))] Harry is rough.[(triple13 OR ((triple14) -> rule6))] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Harry is quiet.[(((triple12) -> rule5) OR ((((triple15) -> rule4)) -> rule5) OR ((((triple15 triple13) -> rule1)) -> rule5) OR ((((triple15 ((triple14) -> rule6)) -> rule1)) -> rule5))]